Tahap 1. Ganti kodomain dengan \(Z=f(X)\) agar pemetaan menjadi surjektif.

Tahap 2. Tarik kembali pemisahan hipotetis \(U,V\) dari \(Z\text{.}\)

Tahap 3. Gunakan hasil empat langkah sebelumnya untuk memperoleh pemisahan domain.