From the hypothesis, we know [using

From the hypothesis, we know [using the definition of divisibility] that Since (a divides b), therefore,

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

สมมติฐาน เรารู้ [ใช้นิยามของ divisibility] ที่ตั้งแต่ (การแบ่งบี), ดังนั้น

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

จากสมมติฐานที่เรารู้ [ใช้ความหมายของการหาร] ข้อมูลว่าตั้งแต่ (แบ่งข) ดังนั้น

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

จากสมมติฐานที่เรารู้ [ ใช้นิยามของการหารลงตัว ] ตั้งแต่ ( แบ่ง B ) ดังนั้น