松坂和夫さんの解析入門シリーズですが、どうやって思いついたのか分からない補題を
使って定理を簡単に証明するということが多いです。

こういうのはどうなんですかね？