Frobenius theorem
Frobenius theorem (division rings)