補題3.12の証明が出来ているのであれば、ギャップがあると言われればより詳細な証明を提供できる
ところが望月含め自称理解者たちは誰一人それが出来ない
これが大きいよね