Finalmente, Si U es una vecindad del neutro, hay una vecindad W tal que