Tahap 1. Ambil kelas sebarang \([x]\in X/\ssim\text{.}\)

Tahap 2. Gunakan \([x]=p(x)\) untuk menulis \(g([x])\) sebagai nilai komposisi \(g\circ p\text{.}\)

Tahap 3. Ganti komposisi itu dengan \(f\text{,}\) lalu bandingkan dengan definisi \(\overline f\text{.}\)