theorem Th34: :: HILB10_7:34

for x, y being object
for X, Y being set st x <> y & not y in union X & not y in union Y holds
( X misses Y iff swap (X,x,y) misses swap (Y,x,y) )