命題
K を実数体または複素数体とする。
K^* は位相群として完備である。

証明
>>396 と >>389 より明らかである。