>>136
ん？ん？証明できてないの？
でもその結果を使ってるの？？？

それって、「その予想が正しければ、この命題が成立する」みたいなやつで、結局、全体として証明できてないってこと？