assume the result for any smaller v

assume the result for any smaller value. For this
fixed r we then induct on k

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

สมมติผลลัพธ์สำหรับค่าขนาดเล็ก สำหรับเรื่องนี้คงที่ r เราแล้วล่ามใน k

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

ถือว่าผลการใด ๆ ค่าที่น้อยลง สำหรับเรื่องนี้
R คงที่แล้วเราก็นำมาใน K

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

สมมติผลใด ๆที่มีค่า สำหรับนี้ซ่อม R เราแล้วให้ดำรงตำแหน่งอย่างเป็นทางการในเค