有限群の分類ってそんなに重要ですか?