Beweisen Sie Satz IX.2:
Gegeben seien zwei Spiegelgeraden a und b mit einem gemeinsamen Schnittpunkt S, sowie zwei Punkten und , die von S jeweils verschieden sind. Wir betrachten die Verkettung . Für einen beliebigen Punkt P und seinen Bildpunkt gilt: .