Después de la finalización de la clasificación de grupos simples finitos (CFSG), surgieron muchos resultados interesantes como sus aplicaciones. Por ejemplo, si $G$ es un grupo finito y si $p$ es un primo que divide a $|G|$ pero no el grado de ninguna representación compleja irreducible de $G$, entonces el subgrupo de Sylow-$p$ de $G$ es abeliano y normal. La prueba de este teorema (de Ito) depende del CFSG.
Sin embargo, muchos matemáticos dudan de que se haya completado el CFSG. Por lo tanto, si un teorema se demuestra usando CFSG, vale la pena preguntarse si se puede demostrar sin usar CFSG.
Entonces mi pregunta es la siguiente:
¿Hay algún teorema(s) que inicialmente se demostró usando CFSG y luego se demostró sin CFSG?