Seja um inteiro positivo não divisível por . Se, na divisão de por , o quociente é um número ímpar, então o resto da divisão de por é