This leads to the following contrad

This leads to the following contradiction p = q | x | p+1

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

ให้ p ลงต่อ = q | x | p + 1

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

นี้นำไปสู่​​ความขัดแย้งต่อไปนี้ p = Q | x | P + 1

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

นี้นำไปสู่ความขัดแย้งต่อไป p = q | x | P + 1