$a_1=2 , a_i=2^{a_{i-1}}$

求证：对于每个 $n \in N^+$，$a$ 在某一项后 $a_i \mod n$ 的值不变。