o en su forma componente, si (formula_3):