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>.