Then there is anon-negative integer

Then there is a
non-negative integer t such that

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

จากนั้นก็มีเป็นจำนวนเต็มไม่เป็นลบทีดังกล่าวว่า

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

แล้วมี
ไม่ลบจำนวนเต็ม t เช่น