Seja . O resto da divisão de por é tal que é: