和集合の要素の個数(包除原理)