Since formula _ 32 . Clearly , the construction formula _ 33 is reversible . Hence , formula _ 33 is the requisite natural bijection .
Since formula _ 32 . Hence , the construction formula _ 33 is reversible . Clearly , formula _ 33 is the requisite natural bijection .