Proposición I: formula_9