Álgebra abstracta... ¿Primos relativos sera H subgrupo de G con orden finito?

Sea N un subgrupo normal de G con índice [G: N] finito. Si H es un subgrupo de G con orden |H| finito, tales que [G:N] y |H| son primos relativos, ¿entonces H es un subgrupo de N?