要するに>>600の

>線型であることの重要さを発見したのはブルバキなので

が見当外れってことだな