ข้อย่อย 1
ข้อความ
Wikimedia Error
Error
Too many requests (f061ab2)
หมายความว่าเซต
ไม่มีสมาชิก กล่าวคือ
ซึ่งสมมูลกับข้อความว่า
สมมติใ้ห้
เนื่องจาก
เราได้ว่า
ด้วย
สมมติเพื่อให้เกิดข้อขัดแย้งว่า
เนื่องจาก
และ
Wikimedia Error
Error
Too many requests (f061ab2)
เราได้ว่า
เกิดข้อขัดแย้งกับสมมติฐานที่ว่า
ดังนั้น เราสามารถสรุปได้ว่า
ดังนั้นถ้า
แล้ว
ข้อย่อย 2
จากโจทย์ให้
เป็นจริง ต้องการแสดงว่า ถ้า แล้ว
เป็นจริงด้วย
- สำหรับ ค่าใด ๆ จาก หมายถึง
Wikimedia Error
Error
Too many requests (f061ab2)
สมมูลกับ
Wikimedia Error
Error
Too many requests (f061ab2)
สมมูลกับ
จาก
Wikimedia Error
Error
Too many requests (f061ab2)
จะได้ ซึ่งรู้ว่าประโยคนี้จริง จะได้ว่า
จริงด้วย
- ดังนั้นเราจึงสรุปได้ว่า ให้
ถ้า แล้ว 
ข้อย่อย 3
สมมติเพื่อให้เกิดข้อขัดแย้งว่า y = 0
เราจะได้ว่า
ฉะนั้น x และ y มีค่าเท่ากับ 0 ทั้งคู่ เกิดข้อขัดแย้งกับสมมติฐานที่ว่า x และ y ไม่เท่ากับ 0 ทั้งคู่
ดังนั้น
ข้อย่อย 4
จากโจทย์ให้
เป็นจำนวนจริง ต้องการแสดงว่า ถ้า
Wikimedia Error
Error
Too many requests (f061ab2)
แล้ว
Wikimedia Error
Error
Too many requests (f061ab2)
- สมมติให้
เป็นจริง
- จาก

- จะได้
Wikimedia Error
Error
Too many requests (f061ab2)

- จะได้
- จะได้
Wikimedia Error
Error
Too many requests (f061ab2)
เนื่องจาก
Wikimedia Error
Error
Too many requests (f061ab2)

- ดังนั้นเราจึงสรุปได้ว่าเมื่อให้
เป็นจำนวนจริง ถ้า แล้ว