ข้อ 1
สมมติว่า n เป็นจำนวนเต็มคู่ ให้ k เป็นจำนวนเต็มที่ทำให้
เราจะได้ว่า
ดังนั้น
ก็เป็นจำนวนเต็มคู่ด้วยเช่นกัน
สมมติว่า n เป็นจำนวนเต็มคี่ ให้ k เป็นจำนวนเต็มที่ทำให้
เราจะได้ว่า
ดังนั้น
ก็เป็นจำนวนเต็มคี่ด้วยเช่นกัน
ข้อ 2
ให้ x เป็นจำนวนจริงใดๆ เราจะแสดงว่ามีจำนวนเต็ม y ที่ทำให้
ก็ต่อเมื่อ
สมมติว่า
เราได้ว่า
เกิดข้อขัดแย้งไม่มี y จะมีค่าเท่าใดก็ตาม ฉะนั้นเราสามารถสรุปได้ว่าถ้ามีจำนวนเต็ม y ที่ทำให้
แล้ว
สมมติว่า
ให้
เราได้ว่า
 |
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
ข้อ 3
สมมติให้
และสมมติให้
เป็นสมาชิกใดๆ ของ
เราได้ว่า
เนื่องจาก
เราได้ว่า
ด้วย ฉะนั้น
เนื่องจาก
เป็นสมาชิกใดๆ ของ
เราจึงสรุปได้ว่า
สมมติให้
แสดงว่ามีสมาชิก
อย่างน้อยหนึ่งตัวที่
แต่
เราได้ว่า
ดังนั้น
แต่
Wikimedia Error
Error
Too many requests (f061ab2)
ดังนั้น
Wikimedia Error
Error
Too many requests (f061ab2)
ฉะนั้นเราจึงสามารถสรุปได้ว่า
Wikimedia Error
Error
Too many requests (f061ab2)
ข้อ 4
เราจะใช้ทฤษฎีบทต่อไปนี้:
- ทฤษฏีบท ถ้า p เป็นจำนวนเฉพาะและถ้า p หาร mn ลงตัวเมื่อ m และ n เป็นจำนวนเต็มแล้ว p หาร m หรือ p หาร n ลงตัว
สมมติว่า 15 หาร n ลงตัว ให้ k เป็นจำนวนเต็มที่ทำให้
Wikimedia Error
Error
Too many requests (f061ab2)
เราได้ว่า
Wikimedia Error
Error
Too many requests (f061ab2)
ดังนั้น 3 หาร n ลงตัวและ 5 หาร n ตัว
สมมติให้ 3 หาร n ลงตัวและ 5 หาร n ลงตัว ให้ k เป็นจำนวนเต็มที่ทำให้
Wikimedia Error
Error
Too many requests (f061ab2)
เนื่องจาก 5 หาร n ลงตัว 5 ต้องหาร 3k ลงตัวด้วย
ใช้ทฤษฎีบทข้างบน เราได้ว่า 5 ต้องหาร 3 ลงตัว หรือไม่ 5 ต้องหาร k ลงตัว แต่เนื่องจาก 5 หาร 3 ไม่ลงตัว เราได้ว่า 5 ต้องหา k ลงตัว ฉะนั้นให้ m เป็นจำนวนเต็มที่ทำให้
Wikimedia Error
Error
Too many requests (f061ab2)
กล่าวคือ
ดังนั้น 15 หาร n ลงตัว
ข้อ 5
ให้ a และ b เป็นจำนวนเต็ม ให้ c = ab เราจะได้ว่า a หาร c ลงตัว และ b หาร c ลงตัว