theorem Th14: :: HILB10_7:14

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