Hey thanks for the stated reasoning. Now, I'm asking if it is also correct to just take the inverse of all the couples I get from the relation k->2^k, but then I get a different mapping from yours: f={(1,0),(2,1),(3,4),(4,2),(5,9),(6,5),(7,11),(8,3),(9,8),(10,10),(11,7),(12,6)}