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 .