From this point on, we assume that

From this point on, we assume that (2) holds and so (1) has at least one solution X

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

จากนี้ เราสมมติที่ถือ (2) และ (1) มีโซลูชั่นน้อย X

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

จากจุดนี้เราคิดว่า (2) ถ​​ือหุ้นและอื่น ๆ (1) มีอย่างน้อยหนึ่งการแก้ปัญหา X

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

จากจุดนี้เราสมมติว่า ( 2 ) ถือแล้ว ( 1 ) มีอย่างน้อยหนึ่งในโซลูชั่น เอ็กซ์