>>667
fの核は環K[x]のイデアルになる、って分るかい？
そしてK[x]のイデアルは単項イデアルである、ってわかるかい？
そしてK[x]のイデアルはある多項式g(x)で生成される、ってわかるかい？
そして、核の定義からg(α)=0である、って分るかい？

さあ、後は何を言えばいい？