In contrast, those who worked on the first generation proof did not know how many sporadic groups there were, and in fact some of the sporadic groups (e.g., the Janko groups) were discovered while proving other cases of the classification theorem.
En cambio, os que traballaron na primeira xeración da proba non coñecían a cantidade de grupos esporádicos, e de feito algúns dos grupos esporádicos (por exemplo, o grupo de Janko) foron descubertos probando outros casos do teorema de clasificación.