f(x) を実数係数の多項式とします。

x = i が f(x) = 0 の解であれば、

f(x) は R[x] において、 x^2 + 1 で割り切れる。

この証明を教えてください。