ていうか勉強した定理の証明全部覚えてるの?