como tomar inversos es continuo y e = e, para cualquier U vecindad de e, hay una vecindad V tal que V ⊂ U, Combinando los resultados anteriores y