Tahap 1. Himpunan nol polinom satu variabel tak nol di \(\R\) berhingga, sedangkan \(D(0)=\emptyset\text{.}\)

Tahap 2. Gabungan tak kosong dari himpunan-himpunan kofinit tetap kofinit karena komplemen gabungan terkandung dalam komplemen salah satu sukunya.

Tahap 3. Jika \(F\subseteq\R\) berhingga, bangun polinom yang himpunan akarnya tepat \(F\) dengan mengalikan faktor \(x-a\) untuk \(a\in F\text{.}\)