cumple que formula_28 es un divisor de formula_31.