Frobenius theorem
既約行列に対するペロン＝フロベニウスの定理.