Probaremos que G/H es un grupo topológico con la operación natural del grupo cociente,