entonces existe una extensión lineal formula_14 de "f" a todo el espacio formula_1 i.e.