Lösung von Aufgabe 11.1P (WS 13/14)

Beweisen Sie Satz IX.1:
Gegeben seien zwei Spiegelgeraden a und b mit einem gemeinsamen Schnittpunkt S. Wir betrachten die Verkettung $S_a\circ S_b$. Jeder Punkt P liegt dabei mit seinem Bildpunkt $P^{″}=S_a\circ S_b(P)$ auf einem Kreis k um S.