For any i < j, let denote the slack

For any i < j, let denote the slack of a line containing the words

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

สำหรับทุก i < เจ ให้การกระตุ้นของบรรทัดประกอบด้วยคำแสดง

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

สำหรับการใด ๆ i <J ให้แสดงว่าหย่อนของเส้นที่มีคำ

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

สำหรับผม < J ให้แสดงหย่อนของบรรทัดที่มีคำ