>>275
多項式の除法の原理：

f(x)をxの多項式、g(x)を次数mの多項式とすると
f(x)=q(x)*g(x)+r(x)　ここにr(x)は次数がmより小さい多項式
を満たす多項式　q(x)、r(x)　が一意的に存在する。

を示さなければならなくなる。