Tahap 1: cari himpunan buka sejati yang komplemennya juga buka.

Tahap 2: perhatikan bahwa setiap komplemen tak kosong dari himpunan buka sejati memuat \(d\text{.}\)