Weil予想の証明以降は、
どうでもいい"定理"を量産してるだけ。