それ、ショルツと同じで望月の間違いを形式に証明しちゃってるんだけどwww
↓
IUT4のthm1.10でq^j^2の証明がないってとこでギャップのまま終了


いつから数学では
「証明がない」ことが、
「間違いを形式に証明しちゃってる」
って等価になったんだ？
こんな戯言はLLM使わずとも、中学1年生くらいでもわかるな。
義務教育からやりなおせウスノロｗ