Euclidean vector space/R^3/Isometry/Eigenvector/Fact

Let

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{3}$

be a linear isometry.

Then there exists an

eigenvector with eigenvalue

${}1$ or ${}-1$.

Proof, Write another proof