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