Notemos que la (función) formula_64 es tal que formula_65 y formula_66.