En particular, como formula_69, se cumple que ha de ser formula_70, pero como además formula_71, se cumple que formula_72.