$a,b\in\mathbb{Z}^+$ olmak üzere $b=a.q+r$ ve $0\leq r < a$ olacak şekilde tek türlü belirlenen $q,r\in\mathbb{Z}$ vardır.
Yukarıda vermiş olduğum Bölüm Algoritmasının ispatı yapılırken Tümevarım neden b üzerinden yapılıyor, a üzerinden yapılırsa bir sıkıntı mı olur? Oluyorsa eğer sıkıntı nereden kaynaklanır?