Category:Normed Division Ring Sequence Converges in Completion iff Sequence Represents Limit