theorem Th22: :: HILB10_7:22

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