Proof. [02CL]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
If is a fixed point, then clearly . Choose a tangent cone at . The action of induces a one parameter group of isometric actions on , which fixes the origin. On the other hand on the smooth part of the corresponding infinitesimal action is given by a Killing field of constant length. Clearly such a Killing field can not have zeroes. Contradiction. ∎