Hola, estaría perfecto si lo demuestran con el primer teorema de isomorfismo siempre y cuando prueben que el orden de G/Ker(f) es el orden de G dividido el orden de Ker(f) lo que corresponde a la proposición 3 de las notas 'Subgrupos normales, Grupo cociente y Teoremas de Isomorfismos'.
Saludos!
Saludos!