La función g no es una correspondencia inyectiva porque no es sobreyectiva. Por ejemplo, si m 2, es imposible encontrar un entero n tal que g(n) ...

La función g no es una correspondencia inyectiva porque no es sobreyectiva. Por ejemplo, si m 2, es imposible encontrar un entero n tal que g(n) m. (Esto es porque si g(n) m, entonces 4n ฀ 5 2, que implica que n 7 4. Así el único número n con la propiedad de que g(n) m es 7 4. Pero 7 4 no es un entero.