theorem :: ZFMISC_1:134

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