"Tüm tek sayıların toplamı tektir" önermesinin cebirsel ispatında, tek sayıyı $2k+1$ formunda ifade edip iki tek sayının toplamını $(2a+1)+(2b+1)=2(a+b+1)$ şeklinde gösteriyoruz. Bu ispat yöntemi aşağıdakilerden hangisini temel alır?
A) Tümevarım
B) Olmayana ergi
C) Doğrudan ispat
D) Çelişki yöntemi
