(Si formula_61 no contiene ocurrencias libres de formula_63, entonces formula_61 y formula_80 son idénticas; formula_63 y formula_79 son lo mismo).