鳩ノ巣原理は、有限濃度の定義そのもの。
有限高濃度の集合から低濃度の集合への
単射は存在しない。濃度の定義より、自明。