Lösung von Zusatzaufgabe 8.4 S

Voraussetzung:
(V1) $A\neq B\neq Q\neq A$
(V2) $\operatorname{nkoll}(A, B, C)$
(V3) Gerade g
(V4) $A, B \in \ gQ^{+} \setminus g$
Behauptung:
$\overline{AB} \cap g = \emptyset$
Beweis folgt..
--Tchu Tcha Tcha 19:22, 15. Jun. 2012 (CEST)