Los grupos topológicos son espacios homogéneos, ya que sigue del lema anterior