ให้ a และ b เป็นจำนวนเต็มบวก นิยาม aRb หมายถึง a หารด้วย b ลงตัว พิจารณาข้อความต่อไปนี้
(ก) ถ้า xRy และ yRz แล้ว xR(y+z) สำหรับทุกจำนวนเต็มบวก x,y และ z
(ข) ถ้า wRx และ yRz แล้ว (wy)R(xz) สำหรับทุกจำนวนเต็มบวก w,x,y และ z
ข้อใดต่อไปนี้ถูกต้อง