当找到一对$i,j,j>i$ 使得 $[f_i,f_{i+1}] = [f_j,f_{j+1}]$ 后 即$A^{j-i}\cdot [f_i,f_{i+1}] = [f_j,f_{j+1}]$，如何证明$A^{j-i}= E$ ？ 题解都直接是$j-i$是一个循环节了，但是如果上面那个不证明的话,如何知道循环节不会是一个rho的形状呢？