有一个不可约多项式 f(x)=x2−tx+a∈Fp[x]f(x)=x^{2}-tx+a\in \mathbb{F}_p[x]f(x)=x2−tx+a∈Fp[x] , ppp 是奇素数,怎么证明 xp+1 mod f(x)=ax^{p+1}\bmod f(x)=axp+1modf(x)=a ?