>>501
君は日本語が分からないのかい?
問題はsimplificationではなく系3.12の証明が証明になっていることを望月が説明できないこと