フロベニウスの定理
Ruelle-Perron-Frobenius theorem