Además para una función formula_1 en este espacio, vale el teorema de inversión (1).