Tahap 1. Bila sebuah keluarga anggota \(\tau_{\overline p}\) memuat \(X\text{,}\) gabungannya langsung \(X\text{.}\) Bila tidak, tak satu pun anggotanya memuat \(p\text{.}\)

Tahap 2. Dalam irisan berhingga, faktor \(X\) dapat diabaikan. Jika tersisa faktor yang tidak memuat \(p\text{,}\) irisannya juga tidak memuat \(p\text{.}\)

Tahap 3. Periksa secara terpisah gabungan kosong dan irisan kosong.