Category:Completion of Normed Division Ring