Let and where . Then for some unique and such that .
Proof:
We repeatedly divide by and let the remainders be our 's. Specifically, we have where . We know that such an exists since the 's get strictly smaller every step, since . This gives and we know each satisfies . Every is also unique, so too is unique.