>>704
分野とか関係なくギャップがあると言われれば、理解してるものはより詳しい証明が書ける
それが数学の証明
しかしながら実際には、補題3.12の証明に著者がいくらか追加した以降、自称理解者全員が補題3.12のより詳細な証明を説明できていない