Sea G un grupo y H un subgrupo cualquiera.