User:John Z/drafts/Wedderburn's little theorem

Wedderburn's theorem is that every finite division ring is commutative, and thus a field.