ぼくも>>701に同意だな。
確かにグロタンは一見ナンセンスに見えるような一般化・抽象化をするけれど

>そのスタイルとは、出来る限り問題を一般化して、ほとんど自明と
>思われるような命題の羅列から深い結果を出す。

のようなブルバキ流の還元的手法がグロタンの真骨頂であるようには思えない。