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