Iniciante
Seja e chame
e
de forma que
. Logo:
e consequentemente,
e
e não há outra opção além de
e
:
.
Itermediário:
Sim. Tomando , temos
.
Avançado:
Temos . Note que a maior potência de
que divide
é
. Seja
a maior potência de
que divide
. Então, pelo lema de Hensel, a maior potência de
que divide
é
. Logo
. Observando ainda que, como
divide
,
,
.
Deste modo, sendo , temos
, que é verdadeiro para
e
mas falso para
, pois nesse caso
. Notando que
e que ocorre a igualdade para
, temos
e que todas as desigualdades anteriores são igualdades, isto é,
e
.