Lösung von Aufgabe 6.2P (SoSe 12)

Beweisen Sie: Es sei $\operatorname{koll} \left( A, B, C \right)$ mit $\ A, B, C$ sind paarweise verschieden.
Dann gilt genau eine der folgenden Zwischenrelationen: $\operatorname{Zw} \left( A, B, C \right)$ oder $\operatorname{Zw} \left( A, C, B \right)$ oder $\operatorname{Zw} \left( B, A, C \right)$.