（鳩の巣原理）
　ｎ個の巣に(n+1)個のハトが入れば、必ずどれかの巣には２羽以上

（証明）

どの巣にも１羽以下のハトしか入っていないと仮定すると、ハト合計数≦nとなって矛盾する。
よって、どれかの巣には２羽以上入っていることになります。