Cauchy sequence
(1) 非アルキメデス付値に対する完備体 formula_2 内のコーシー列 formula_65 の収束点を α としたとき、α が 0 でないならば、十分大きな全ての "n" に対して