a contradiction to the fact that we

a contradiction to the fact that we took the maximum integer j
such that Fj  k.

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

ขัดแย้งกับความจริงที่ว่าเราเอาจำนวนเต็มญสูงสุดดังกล่าวที่ Fj?
k

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

ขัดแย้งกับความเป็นจริงที่เราเอาจำนวนเต็มสูงสุด J
เช่นที่ FJ  K