and the preceding lemma shows it is

and the preceding lemma shows it is true for

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

และแสดงหน่วยการก่อนหน้านี้เป็นจริงสำหรับ

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

และก่อนหน้านี้แสดงให้เห็นแทรกมันเป็นความจริงสำหรับ

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

และก่อนแสดงจริงเพื่อแทรก