かなり昔ですが東大の二次で加法定理の証明がでたと聞きました。
他にも定理などの証明でたってことありますか？