His finiteness theorem showed that for a given c there are only finitely many primitive groups with class c other than the symmetric and alternating groups.
Kanyang hangganan teorama ay nagpakita na ang para sa isang binigay na c may lamang finitely maraming mga grupo ng nauna sa class c bukod sa timbang at alternating grupo.