We kind of need this lemma

Let with . If then .Lemma:

By the division algorithim . So then and since and is the least positive integer such that we must have that . Therefore and the conclusion follows.Proof:

So basically we need the least number such that , i.e. we need