First let me say that this is not technically the Division Theorem that I will be proving. Our book calls it the Euclidean Algorithm, but this is clearly not true, it is closer to the Division Theorem, imo. Anyway, my book wants us to prove the following proposition. Note: Here natural numbers will include 0. Also a positive number is a natural number that is not equal to 0. Proposition. Let n be a natural number, and let q be a positive number. Then there exist natural numbers m, r such that [itex]0 \leq r < q[/itex] and [itex]n = mq + r[/itex] Proof: (Holding q fixed, and using induction on n) Base Case (n=0) If n = 0, then we can take m = 0 and r = 0, and we will have [itex]0 \leq r < q[/itex] since [itex]0 \leq 0 < q[/itex] and we will also have [itex]n = 0 = 0q + 0 = 0[/itex]. So the proposition is true when n = 0. Inductive Step Assume that for some natural number n and fixed positive number q, that there exist natural numbers m, r such that [itex]0 \leq r < q[/itex] and [itex]n = mq + r[/itex]. Then we want to show that the same properties are true for n + 1. We have [itex]0 \leq r < q[/itex] and I will break this up into two cases. Case 1: ([itex]0 \leq r < q - 1[/itex]) n = mq + r => n + 1 = mq + r + 1 but [itex]0 \leq r < q - 1[/itex] so [itex]0 + 1 \leq r + 1 < q[/itex] thus we can say that [itex]0 \leq r + 1 < q [/itex] and we have n + 1 = mq + (r + 1) as required. Case 2: ([itex]r = q - 1[/itex]) again n = mq + r by our inductive hypothesis so n + 1 = mq + r + 1 = mq + (q - 1) + 1 = mq + q = (m + 1)q = (m + 1)q + 0 m+1 is a natural number, and our remainder is 0, and [itex]0 \leq 0 < q[/itex] as required. Thus by induction we have proved this proposition. QED. ---------------- Is this proof sufficient? I think it is, but there are much more things involved here than in most of the other proof by inductions I have done, so I just want to make sure I did not screw anything up. Also, any ideas about other ways to prove this proposition using induction? Thanks! edit... To be a little more specific about what I am worried about in the proof. In my proof I am using [itex]0 \leq r < q[/itex] since I believe I can because it is true by our inductive hypothesis, this is correct and OK to do right?