Por el algoritmo de la división deben existir "q y r" enteros, con "0 ≤ r" y menor que "d", tales que "a=qd + r" .