si formula_48 y formula_49) entonces también formula_50, y que además formula_51 y formula_52.