若q(α)q(x)，由g(x)±0， 有r'(x)一r(x)±0: a(q(x)-q(x)+o(g(x)=a(r(x)-r(x)≤ max(a(r),a(r))<a(g(x)但 a(q(x)-q(x)+a(g(x)≥a(g(x),，矛盾所以 q(x)=q(x)， 从而 r(x)=r(x).唯一性得证。区区下81.3整除的概念§1.3 整除的概念 若q x q x g x r x r x ( )      ( )，由 ( ) 0, 0 有 ( )－ ( )    (q x q x g x r x r x ( )－   ( ))＋ ( ( ))＝ ( ( )－ ( ))    max , ( (r r ) ( )) 但     (q x q x g x g x ( )－ ( ))＋ ( ( )) ( ( )), 矛盾．  ( g x( )) 所以 q x q x ( ) = ( ), 从而 r x r x ( )= ( ). 唯一性得证．