Frobenius's Theorem

Theorem
An algebraic associative real division algebra $$A$$ is isomorphic to $$\R, \C, \, \rm{or} \, \mathbb{H}$$.