0973132人目の素数さん垢版 | 大砲2018/08/04(土) 20:19:48.91ID:wZ4sXzi+ >>971 反例や別証明を考える。 一般化の可能性、特殊ケースにするとどれ ぐらい証明を簡略化できるか、 Lemmaを自分で作ることで証明をすっきり できないか、 定理の順番を入れ替えて改善できないか、 別の公理系を採用すると、… などなど。 色々考えてると、さっぱり進まんわ。