Proposición II: formula_13