正整数の有理根は整数である。
x=u/vx=u/vx=u/v を既約分数で表す。um=Nvmu^m=Nv^mum=Nvm および (u,v)=1(u,v)=1(u,v)=1 から vm∣umv^m\mid u^mvm∣um を得るので、v=1v=1v=1 であり、xxx は整数である。