因为余数是一定小于除数的，但不可以等于除数。因为当它等于除数的时候，说明还可以继续上商，此时为0 ，没有余数。严格的说法是：余数一定要比除数小,该说法等价于余数一定不能大于除数或余数一定不能等于除数,所以每一部分单独拿出来都是正确的。这其实是一个数理逻辑问题。
设命题A是：余数一定小于除数；
命题B是：余数一定不能大于除数；
命题C是：余数一定不能等于除数。
A等价于B或C；而B却不等价于A或C。A蕴涵B（如果A则B）；A也蕴涵C（如果A则C）。
