このブログに何か雑記以外のことを書くことがあるのだろうか。まぁいいや。
定理の証明で、多数のlemmaを連ねて、最後に、主定理の証明を数行(理想的には一言)書いてはい証明終わり、というスタイルについては賛否あるように思われるが、このようなスタイルの利点として、その定理の周辺で何かを考えたいときに、その散らかされたlemmata*1が(わざわざ教科書に定理として載せるほど一般的でないが故に)妙に使い勝手がよく便利であることもある、というものがあると思う。
まぁ、あまりにその定理の証明に特化したようなlemmaで、使いづらい、というケースもあるように思われるが。