7. Tümevarım yöntemiyle yapılan bir ispatın algoritmik incelenmesinde, aşağıdaki adımlardan hangisi temel bileşen değildir?
A) Temel durumun (n=1) doğrulanması
B) Tümevarım hipotezinin oluşturulması
C) n. adımdan (n+1). adıma geçişin gösterilmesi
D) İspatın tarihsel gelişiminin araştırılması
