>>640
x≡a modpが1つの解とする
f(x)≡(x-a)f₁(x)+f(a)
(x-a)≡0またはf₁(x)≡0
a₁x+a₀≡0 modp
これは(a₁, p)=1の時に解を1つだけ持つ。(a₁, p)=pの時, a₁≡0となり題意を満たさない。従って(a₁, p)≠p。よって成り立つ。