a,b,nは固定された自然数であり、任意の自然数k(k=b),a-k^nはb-kによって除かことができる。

a,b,nは固定された自然数であり、任意の自然数k(k=b),a-k^nはb-kによって除かことができる。

令f(k)=a-k^n.
f(b)=0,a-b^n=0,a=b^n.