Tahap 1. Gunakan refleksivitas, simetri, dan transitivitas kesamaan di \(Y\text{.}\)

Tahap 2. Buktikan aturan bagi \(\bar q\) tidak bergantung pada wakil kelas.

Tahap 3. Gunakan surjektivitas \(q\) untuk surjektivitas \(\bar q\text{.}\)