>>23
>位相群の直積は直積位相ゆえ,eの開近傍Uで U×U×U ⊆ V' となるものが存在する

eの〜以降がなぜそうなるのか分かりません…