Cuando "G" no sea simple, deberá tener un subgrupo normal propio.