formula_57, y que si formula_58 entonces formula_59.