Proving the product of an odd number and the power of 2 is bijective
Proving $v(s,p)=2^{p-1}(2s-1)$ is a bijection of natural numbers and $f(s)=2s-1$ is a bijection between natural numbers and odd numbers.