ムーンシャイン出てきたから有限単純群の分類はとっても意味あったね