Tahap 1. Hitung himpunan nol polinom konstan \(1\text{.}\)

Tahap 2. Untuk dua polinom \(f,g\text{,}\) sebuah titik gagal berada dalam \(Z(f)\) dan \(Z(g)\) tepat ketika hasil kali \(f(x)g(x)\) tidak nol.

Tahap 3. Simpulkan identitas \(D(f)\cap D(g)=D(fg)\text{;}\) identitas ini lebih kuat daripada syarat irisan yang diminta dalam definisi basis.