Tümevarım yöntemi ile ispat Test 1

Tümevarım yöntemiyle \(n \geq 1\) için \(4^n + 6n - 1\) ifadesinin 9 ile tam bölündüğünü ispatlamak isteyen biri, tümevarım adımında aşağıdaki işlemlerden hangisini yapmalıdır?

A) \(4^{k+1} + 6(k+1) - 1 = 4(4^k + 6k - 1) - 18k + 9\)
B) \(4^{k+1} + 6(k+1) - 1 = 4(4^k + 6k - 1) + 18k - 9\)
C) \(4^{k+1} + 6(k+1) - 1 = 4(4^k + 6k - 1) - 18k - 3\)
D) \(4^{k+1} + 6(k+1) - 1 = 4(4^k + 6k - 1) + 6\)