theorem Th10: :: TOPS_5:10

for a, b, c, d being object st a <> b holds
(a,b) --> (c,d) = (b,a) --> (d,c)