ついでに言っておくと、Aのすべての固有値を求められたと
いうことは、一般の A^nを計算できて、ある P_0から出発
したときの P_nの一般解も得られる。それで n→∞にすれば、
P_∞が固有値 1の固有ベクトル yに一致することも証明でき
るだろう。