Mapping/Bijection between N and Z/Exercise