Si formula_11 no es divisor de formula_12 escribimos formula_13.