>>971
反例や別証明を考える。
一般化の可能性、特殊ケースにするとどれ
ぐらい証明を簡略化できるか、
Lemmaを自分で作ることで証明をすっきり
できないか、
定理の順番を入れ替えて改善できないか、
別の公理系を採用すると、…

などなど。
色々考えてると、さっぱり進まんわ。