23.10. Προφανώς κάθε πολλαπλάσιο του x2 + 1 ανήκει στον Kerφ.
Εστω f(x)
Kerφ.
Τότε f(i) = 0. Aπό
τον αλγόριθμο
διαίρεσης,
f(x) = q(x)(x2 + 1) + (ax + b), όπου
q(x) R[x] και
a, b
R.
Αφού
f(i) = 0, ai + b = 0, και
αφού a, b
R, a = b = 0. Αρα f(x)
= q(x)(x2 + 1).
Επεται ότι Kerφ = <x2 + 1>.