Proposición I: formula_1