Si formula_10, entonces realizamos la siguiente construcción: