>>615
＞問題は n=3 以降なのです。

実は、対角化を意識しすぎたから、面倒になった。
m(n+1)f_n=f_n^i と書けば局所的にすむが
繰り返し回数と入力との一致をはかるために
長い変換の定義を必要とすることになった。
でも実はそれは本質ではなかった。