"Sonsuz sayıda asal sayı vardır" teoremini ispatlayan Öklid, sonlu sayıda asal olduğunu varsayıp bu listedeki tüm asalları çarparak 1 eklediğinde yeni bir asal elde etmiştir. Bu hangi ispat yöntemidir?
A) Doğrudan ispat
B) Tümevarım
C) Olmayana ergi
D) Yapıcı ispat
