Si formula_13 no es divisor de formula_14 escribimos formula_15.