Statement: The only finite dimensional associative division algebras over the real numbers are the reals, the complex numbers, and the quaternions.

Link: https://en.wikipedia.org/wiki/Frobenius_theorem_(real_division_algebras)