Dados dos números naturales "a" y "b", con "b" distinto de 0, la división euclídea asocia un cociente "q" y un resto "r", ambos números naturales, que verifican: