Entonces, hay únicos enteros formula_40 (cociente de la división de formula_37 por formula_38) y formula_43 (residuo de la división de formula_37 por formula_38) tales que