【LoL】 京大・望月教授がABC予想を証明  LoLでも長文でしか発見・説明できない、説明しても誰も理解できない理論実はありそうだろ