Completeness of locally compact nontrivially valued fields
= Completeness of locally compact nontrivially valued fields
In a locally compact nontrivially valued field, the <valuation ring> is compact. A Cauchy sequence has a tail inside a translate of this compact set, hence a convergent subsequence. The Cauchy property forces the full sequence to converge.