Jika \(f=g\circ p\text{,}\) maka untuk setiap kelas \([x]\text{,}\) \(g([x])=g(p(x))=f(x)=\overline f([x])\text{.}\) Jadi \(g=\overline f\text{.}\)