Sea un grupo de orden
a) Probar que si existe un subgrupo de no trivial tal que satisface que entonces no es simple


b) Probar que si no es primo y para algún primo tal que divide a se verifica que entonces no es simple