siempre que "A" sea un elemento positivo de formula_1.