Frobenius theorem
Frobenius theorem (real division algebras)