Entonces, definimos una función que asigna a cada formula_126, el correspondiente formula_127.