Bukti injektivitas sama seperti pada soal sebelumnya. Untuk setiap \(2k\in2\Z\text{,}\) berlaku \(g(k)=2k\text{,}\) sehingga \(g\) surjektif ke kodomain barunya. Jadi \(g\) bijektif. Persamaan \(g(k)=2k\) menunjukkan langsung bahwa fungsi invers memetakan \(2k\) ke \(k\text{.}\)