>>93と過去スレ006の459より、実数 s ＞ 0 があり、mod^s は K の絶対値と
なる。
このとき、実数 M ＞ 0 に対して mod^s(x) ≦ M となることと
mod(x) ≦ M^(1/s) は同値である。
従って、>>89 より、K の位相は絶対値 mod^s により定義される位相と
同じである。
よって、K の位相は距離付け可能である。