واضح كما تفضل الأخ الكريم mathson أن بالنسبة لإثبات أن عدد أولي يمكن فعل الآتي : نفترض أن غير أولي أي يوجد عددين صحيحين طبيعين و بحيث و و . وبما أن فإن وحيث أن فإن : وهذا يعني أن ليس أوليا في تناقض مع الإفتراض أولي .