theorem Th34: :: CARD_2:35

for X, Y being set st X misses Y holds
card (X \/ Y) = (card X) +` (card Y)