#4 habría que mirarlo a fondo, pero supongo que se seguirá pudiendo dividir.

Ten en cuenta que el nuevo teorema prueba los casos de grupos arbitrarios. Antes estaba probado (por él mismo) para casos primos y algunos más. Y cuando las cosas funcionan en muchos casos tienen la fea costumbre (aunque no siempre!!) de funcionar en todos. Pero siempre hay que probarlo.