Vielleicht so:
Seien g,h,k∈G mit g⊥h und h⊥k
1. Fall g=k ==> Es gilt: g∥k
2. Fall g≠k. Angenommen es gelte nicht g∥k
==> ∃P∈P mit {P}=g∩k.
==> P∈g und P∈k . Wegen g⊥h und h⊥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 !