Dados dos números enteros "a" y "b", siendo "b" no nulo, la división euclídea asocia un cociente "q" y un resto "r", ambos números enteros, que verifican: