Therefore the Gorenstein–Harada theorem splits the problem of classifying finite simple groups into these two subcases.
Ως εκ τούτου, το θεώρημα Γκορενστείν–Harada χωρίζει το πρόβλημα της ταξινόμησης των πεπερασμένων απλών ομάδων σε αυτές τις δύο υποπεριπτώσεις.