设f是Fp[x]上的首一n次多项式，k<=n，求证
1·x^(p^k)-x（mod f)可以用复杂度O(n^（1+e))的算法算出；
2·x^(p^k)-x和f的最大公因式可以用复杂度O(n^（1+e))的算法算出
其中e使任意正数