Frobenius's Theorem

Theorem
An algebraic associative real division algebra $A$ is isomorphic to $\R, \C$ or $\Bbb H$.