"İki çift sayının toplamı çifttir" teoremini ispatlayan Ali, iki çift sayıyı 2a ve 2b şeklinde yazıp toplamlarının 2(a+b) olduğunu ve bunun da çift sayı olduğunu göstermiştir. Ali hangi ispat yöntemini kullanmıştır?
A) Tümevarım
B) Olmayana ergi
C) Doğrudan ispat
D) Varsayıma dayalı ispat