The classification of finite simple groups.
Clasificación dos grupos simples finitos