Bir matematik öğrencisi, "Her doğal sayıdan büyük bir asal sayı vardır" teoremini öğreniyor. Bu teoremin ispatında kullanılan temel yöntem hangisidir?