Existe una aplicación isométrica lineal natural "F" de "V" a "V"" definido por: "F"("x")("f") = "f"("x") para todo "x" en "V" y "f" en "V"'.