นิยามที่เขียนไว้ในข้อที่ 25. เป็นสับเซตของนิยามของการหารลงตัวนั่นเองครับ
ในที่นี้ a*b หมายถึง a = kb สำหรับจำนวนเต็มบวก k บางจำนวน
ซึ่งก็คือ a*b หมายถึง b|a นั่นเอง
ดังนั้น x*y และ y*z หมายถึง y|x และ z|y
นั่นคือ z|y และ y|x จะได้ว่า z|x
ดังนั้น z|(y+x) หรือ (x+y)*z
|