鳩の巣原理

m 個のものを n 個のグループにわける。m が n より大きいなら，必ず2つ以上のものが属するグループが存在する。