Existence is easily proven by strong induction.
1 is of that form as so is
Let and assume that this is true for all integers .
If is odd, then
If is even, then for some .
By the inductive hypothesis, – which proves the result by strong induction.
For uniqueness, suppose
Then since Similarly
and so and