แปลประโยคหรือย่อหน้าต่อไปนี้จากภาษาไทยเป็นภาษาอังกฤษ:
นั่นคือ ถ้า "x" เป็นจํานวนเต็มและ "y" เป็นจํานวนเต็มบวก ฟังก์ชัน "x" mod "y" โดยที่ "y" เป็นค่าคงตัว จะเป็นฟังก์ชันฟันเลื่อยเช่นกัน
Then it follows from the definition of floor function that this extended operation satisfies many natural properties. Notably, "x" mod "y" is always between 0 and "y", i.e., if "y" is positive,