)逆に、ハウスドルフ群のすべての局所コンパクト部分群は閉である。