Theorem Every finite division ring is commutative.
Note that a commutative division ring is a field. Here is a proof of Wedderburn's theorem about finite division rings.