>>10が暗黙裡に前提とするくらいには
定理の内容が分かりやすくて
それでいて証明が難しいのなら
道具として打って付けの定理