Hay un "isomorfismo" entre formula_2 y formula_18.