theorem Th39: :: CARD_2:40

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