theorem Th6: :: XTUPLE_0:6

for x, y being object
for X being set st [x,y] in X holds
x in union (union X)