Therefore the Gorenstein–Harada theorem splits the problem of classifying finite simple groups into these two subcases.
Gorenstein–Haradas sats reducerar alltså problemet av att klassificera ändliga enkla grupper till dessa två fall.