Para la próxima proposición, recordemos que un subgrupo H de G se dice que