1'den n'ye kadar olan doğal sayıların toplamı için tümevarım yöntemiyle ispat yapılırken, aşağıdaki adımlardan hangisi tümevarım adımında kullanılır?
A) n=1 için 1=1(1+1)/2 olduğu gösterilir
B) Toplam formülünün n=k için doğru olduğu kabul edilir
C) Formülün tüm n değerleri için doğru olduğu söylenir
D) n=2 için formülün doğruluğu kontrol edilir