Entonces, V = η(V ) y W = η(W) son vecindades de xH y yH, respectivamente, y tales que V W ⊂ U.