ตรวจสอบวิธีการตรวจความเป็นจำนวนเฉพาะ

       สมมติเขาถามว่า 331 เป็นจำนวนเฉพาะรึเปล่า? ทุกคนก็คงจะเริ่มด้วยการประมาณค่ารากที่สองของ 331 ซึ่งได้ประมาณเกือบๆ 18 จากนั้นก็เริ่มเอาจำนวนเฉพาะไปหาร 331 ดู โดยเริ่มจาก 2 3 5 7 ไปเรื่อยๆ แต่พอเราลองไปจนถึง 17 แล้วยังไม่มีจำนวนเฉพาะสักตัวหาร 331 ลงตัว เราก็หยุดและสรุปว่า 331 เป็นจำนวนเฉพาะ โดยไม่ต้องลองเอาจำนวนเฉพาะอื่นๆ ไปหาร 331 อีกต่อไป  มีวิธีคิดดังนี้คือ
      ให้ n เป็นจำนวนนับใดๆ (n เป็นจำนวนเฉพาะหรือไม่ก็เป็นจำนวนประกอบเพียงอย่างใดอย่างหนึ่ง)
              - สมมติว่า n เป็นจำนวนประกอบ
              - จำนวนประกอบคือจำนวนที่มีจำนวนอื่นนอกจาก 1 และตัวมันเองที่หารมันลงตัว
              - ดังนั้นมีจำนวนนับ a โดย a หาร n ลงตัว และ 1 < a < n
              - นั่นคือจะมีจำนวนนับ b ที่ 1 < b < n และ n = a * b
              - โดยไม่เสียนัยสำคัญกำหนดให้ a <= b (ถ้า a > b ก็ให้สลับค่า a กับ b)
              - สังเกตว่า a = รากที่สองของ (a^2) <= รากที่สองของ (a*b) = รากที่สองของ n

        สรุปก็คือ ถ้า n เป็นจำนวนประกอบแล้วจะต้องมีจำนวนนับที่มีค่าน้อยกว่าหรือเท่ากับรากที่สองของ n ที่หาร a ลงตัว ถ้าไม่อย่างนั้น n ก็เป็นจำนวนเฉพาะ