De esta manera es posible definir a formula_2 como formula_102 tal que formula_107 y formula_108.