Frobenius theorem (real division algebras)