除法の原理

$A(x),B(x)$を$0$でない整式とすると， 次を満たす整式$Q(x),R(x)$が一意的に存在する． $$A(x)=B(x)Q(x)+R(x)$$ ただし，$R(x)$は$0$であるか $B(x)$の次数より次数が低い整式である．