theorem Th4: :: DIRAF:4

for S being OAffinSpace
for x, y, z being Element of S holds
( x,x // y,z & y,z // x,x )