theorem Th36: :: DIRAF:36

for S being OAffinSpace holds
not for x, y, z being Element of S holds x,y,z are_collinear