Euclidean vector space/Isometry with standard space/Fact

For every euclidean vector space ${}V$,

there exists a bijective

isometry

$\varphi \colon \mathbb {R} ^{n}\longrightarrow V,$

where ${}\mathbb {R} ^{n}$ carries the

standard inner product.

Proof, Write another proof