もしやして>>366と関係あるのかもしれないですが

mを自然数とするとき、mod m で
数列 2,2^2,(2^2)^2, ((2^2)^2)^2,…　は 十分先では定数列になる
ということはいえるす？