theorem Th24: :: DIRAF:24

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