Con el propósito de aplicar el teorema 1.3, definimos la aplicación formula_65 por