Considere as divisões de números naturais em que é o divisor. A soma de todos os restos possiveis e pares dessas divisões é . Sabendo que é ímpar e múltiplo de , o resto da divisão de por é