Vielleicht so:
Seien \( g, h, k \in \mathbb{G} \) mit \( g \perp h \) und \( h \perp k \)
1. Fall g=k ==> Es gilt: \( \quad g \| k \)
2. Fall g≠k. Angenommen es gelte nicht \( \quad g \| k \)
==> \( \exists P \in \mathbb{P} \) mit \( \{P\} = g∩k \).
==> P∈g und P∈k . Wegen \( g \perp h \) und \( h \perp k \)
ist g die Lotgerade von P auf h und es ist k die Lotgerade von P auf h.
Wegen der Eindeutigkeit also g=k. Widerspruch !