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