theorem Th8: :: HILB10_7:8

for X, Y being set st X misses union Y holds
card (UNION (Y,{X})) = card Y