Beweisen Sie Satz IX.9: Gegeben seien zwei zueinander parallele Spiegelgeraden a und b. Wir betrachten die Verkettung Sa∘Sb. Jeder Punkt P hat dabei zu seinem Bildpunkt P″=Sa∘Sb(P) einen Abstand der doppelt so groß ist wie der Abstand der beiden Spiegelgeraden.