>>777
私は杉浦の自然数の定義から、それを証明してたんだけど・・・
662の証明って、大半がそこにさかれてる。
それが証明できちゃえば、あとは速効で終わった。