Untuk \(r\in R\text{,}\) terjemahkan berturut-turut \(r\in(h\circ g)^{-1}(O)\text{,}\) \(h(g(r))\in O\text{,}\) dan \(g(r)\in h^{-1}(O)\text{.}\)