Tahap 1: cukup periksa komplemen ketiga himpunan buka sejati.

Tahap 2: semua komplemen itu memuat paling sedikit satu dari \(c,d\text{.}\)