Category:Cauchy Sequences in Normed Division Rings