ガロアが試行錯誤の結果か、ヒューリスティックを用いたかは定かではないが
A_5が単純群であるという事実を知っていたとしても、現代の我々が
正確な証明をしなくてもよいということにはならない。
そして、正確な証明をしようとすれば、それなりに面倒な部分はある。
その認識に至っていないセタは、理解に至っていないということ。
「正二十面体群と同型」だと言われて、「分かった（気がする）」
とかいうのは頓珍漢な錯覚に過ぎない。