高校入試や大学入試だと定理使う場合、普通定理の証明をしなければならない。