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