theorem Th11: :: HILB10_7:11

for x, y being object
for Y being set st not y in union Y holds
card Y = card (swap (Y,x,y))