which implies r1 and hence Theorem

which implies r1 and hence Theorem1 is true. Then, we may assume that

ผลลัพธ์ (ไทย) 1:

ซึ่งความหมายของ r 1 และ Theorem1 เป็นจริงดังนั้น แล้ว เราอาจสมมุติว่า

ผลลัพธ์ (ไทย) 2:

ซึ่งหมายถึง R? 1 และด้วยเหตุนี้ Theorem1 เป็นความจริง จากนั้นเราอาจคิดว่า

ผลลัพธ์ (ไทย) 3:

ซึ่งหมายถึง R  1 และด้วยเหตุนี้ theorem1 เป็นจริง แล้ว เราอาจสันนิษฐานได้ว่า