＞一般的な定理の方が必ずしも簡単にはならない
そうですかね
まあ証明が簡単になるための条件をゴタゴタくっつけた方が簡単にはなるんでしょうが