En efecto, la función n ↦ 2n de los Naturales en los Naturales pares es biyecdtiva.