Por la proposición, formula_50.