Definition:Nontrivial Division Ring Norm