Description: The multiplicative inverse in a division ring is nonzero. ( recne0 analog.) (Contributed by NM, 19-Apr-2014)