Es seien und zwei nichtidentische Geraden. Man beweise:
Also: Die beiden Geraden stehen genau dann senkrecht aufeinander, wenn die Nacheinanderausführung der beiden Spiegelungen an ihnen kommutativ ist. Motivierung: Diese Aufgabe eignet sich hervorragend für Klausuren.