Linear isometrie/Space/Fixed point on football/Fact/Proof

Proof

The total movement is a linear isometry; therefore, the statement follows from fact.