Wedderburn's little theorem: All finite division rings are commutative and therefore finite fields.
Frobenius theorem: The only finite-dimensional associative division algebras over the reals are the reals themselves, the complex numbers, and the quaternions.