Tahap 1. Andaikan ada dua subhimpunan takkosong dari \(A\text{.}\)

Tahap 2. Setiap subhimpunan takkosong dari singleton harus memuat \(a\text{.}\)

Tahap 3. Periksa apakah dua subhimpunan tersebut dapat saling lepas.