A divisão de um polinômio por tem resto . Se os restos das divisões de por e são, respectivamente, os números e , então vale