>>189

ちょっと自然には思いつかないような命題を補題として、
定理を小ぎれいに証明するという手法は教育的によい
のでしょうか？