สำหรับจำนวนธรรมชาติ ของ เศษหาร

ถ้า a และ d เป็นจำนวนธรรมชาติ โดย d ไม่เป็นศูนย์ แล้วสามารถพิสูจน์ได้ว่ามีจำนวนเต็ม q และ r เพียงคู่เดียวที่ a = qd + r และ 0 ≤ r < d จำนวน q เรียกว่าผลหาร ในขณะที่ r เรียกว่า เศษดูหน้าวิธีหารแบบยุคลิดสำหรับการพิสูจน์ผลนี้และขั้นตอนวิธีการหารสำหรับวิธีการคำนวณหาเศษ