theorem Th25: :: DIRAF:25

for S being OAffinSpace
for x, y, z being Element of S ex t being Element of S st
( x,z '||' y,t & y <> t )