x>y>0→x／y>1>0,p>1,即p-1>0→(x／y)^(p-)>1>0
即x^(P-1)／y^(p-1)>1>0,
当x>=P,x×x^(P-1)／P×y^(P-1)>1>0→x^p>py^(p-1),即py^(p-1)-x^p