Sean formula_23 y formula_24 dos proposiciones