Prove that for any positive integer , there exist unique positive integers and such that with .
Consider the set . There exists a smallest integer . We claim that . Assume not, then and we can write where . Thus, we have which gives . And this is a contradiction since was supposed to be minimal.