>>275
対話で埋まるギャップならとっくに埋まってるやろ　望月は証明が正しいことを完全に理解してるはずなんだから
埋めるための対話じゃないのは明白