theorem Th6: :: INCPROJ:6

for CPS being proper CollSp ex a9, b9, c9 being Point of CPS st
( a9 <> b9 & b9 <> c9 & c9 <> a9 )