任意の群Ｇ離散位相を与えれば位相群となることの証明が分かりません。

誰かお願いします。