Geradenspiegelungen als Bewegungen mit genau einer Fixpunktgeraden (2010)

Satz 4.1

Jede Geradenspiegelung besitz genau eine Fixpunktgerade.

Satz 4.2

Wenn eine Bewegung $\ \phi$ genau eine Fixpunktgerade $\ g$ hat, so ist sie die Spiegelung an $\ g$.