Como formula_50, se cumple que formula_51