Probar que si formula_49 y formula_50, entonces formula_51.