
Como faria?
Fiz assim, primeiro:

Segundo:
(Hipótese)

Provando:

Para qualquer número natural não nulo essa proposição é verdadeira.
Seria assim? Me parece que ficou meio vago provar dessa forma, apesar de realmente a última proposição ser verdadeira.
Outra questão é a seguinte:

Essa eu estou me embolando... Não estou conseguindo iniciar a questão
O ruim dos livros do Iezzi é que o gabarito é muito incompleto...