Tahap 1: cari dua himpunan buka sejati yang saling berkomplemen.

Tahap 2: gunakan kedua himpunan beranggota dua dalam \(\tau\text{.}\)