Definition:Cauchy Sequence in Normed Division Ring