>>513
どういうこと？

・ (5)だけだと、コンピュータで計算しただけなので厳密な証明ではない

・ 4ページ目もコンピュータで計算しただけなので厳密な証明ではなくて意味はないが、補強のために一応書いておいた

ということ？だったら、(5)の厳密な証明はどこにある？