Finalmente se puede definir formula_23 como la regla de