以外と高校数学の基本定理の証明に手こずったりするものよ。