Category:Equivalence of Definitions of Equivalent Division Ring Norms