Vector spaces/K/Inner product/Linear isometry/Characterization/Fact/Proof

Proof

The implications , and are restrictions. . For the zero vecto r,the statement is clear; so suppose that . Then, has norm , and, because of

we have

follows from fact.