Constructivamente, se define formula_10.