高校数学の質問スレ Part441

>>447
剰余系を使って矛盾を導くだけ。
Grokが証明を返してくるよ。