Hurwitz's theorem (normed division algebras)