>>743
しつこい。n≧3の全てのnで鳩ノ巣原理により、矛盾が生じることを証明している。