a,b∈Z+ olmak üzere b=a.q+r ve 0≤r<a olacak şekilde tek türlü belirlenen q,r∈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?