昔、東大で加法定理の証明出たけどあれってできよかったのかな?