theorem Th3: :: DIRAF:3

for S being OAffinSpace
for x, y, z, t, u, w being Element of S st z <> t & x,y // z,t & z,t // u,w holds
x,y // u,w