recurrence

• iki aşamadan oluşur, öncelikle önermenin n=0 için doğruluğu kontrol ettikten sonra, n için de doğru olduğu varsayılır. ve bu varsayımdan yola çıkarak önermenin n+1 için de doğru olduğu kanıtlanır.