We defined the encoding function cod:$\{0,1{\}}^{*}N$ as follows:

cod$(x)=bi{n}^{-1}(1x)-1$

Prove: cod is bijective.