theorem Th61: :: GTARSKI5:61

for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for a being POINT of S holds a,a,a,a are_coplanar