A division ring is generally a noncommutative ring. It is commutative if and only if it is a field, in which case the term "division ring" is rarely used, except for properties of division rings that are true even if they are commutative or in the proof that a specific division ring is commutative. For example, Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite fields.