Formalize o problema abaixo e utilizando o método de Resolução e ainda:

- prove o teorema resultante e 
- extraia a resposta solicitada.

Problema:

* Um funcionário público é contratado ou por concurso ou por indicação de alguém.
* Se um funcionário público é indicado por um parente, então o parente que o indicou pratica nepotismo.
* O filho de Severino é funcionário público, mas não é concursado.
* Quem indicou o filho de Severino é parente desse filho.

•	TEOREMA: Alguém pratica nepotismo? 
•	Quem?

Lembrar que as relações de parentesco são transitivas e comutativas!