>>332
αを根とするfより次数の小さい多項式gが存在するとして
fをgで割ったあまりを考える。