for S being satisfying_A8 TarskiGeometryStruct holds
not for a, b, c being POINT of S holds Collinear a,b,c