theorem Th20: :: DIRAF:20

for S being OAffinSpace
for x, y, z being Element of S holds
( x,y '||' z,z & z,z '||' x,y ) by Th4;