theorem Th33: :: HILB10_7:33

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