フロベニウスの定理
Frobenius theorem (division rings)