証明の穴が数年間放置されていたところを見ると、重要性は薄かったんだろうな＜有限単純群の分類