Obsérvese que el elemento formula_116 se interpreta en formula_105, claramente, como la aplicación formula_118 que vale 1 en formula_22 y 0 en cualquier otro caso.