[alexlarsson]

I don't think that is quite true. Yes, for normal intergers 17 and 4, you can say the above. But mod can also be used as an operation on (and into) the equivalence classes of Z mod 4.

[edflsafoiewq]

For this reason, x % 0 should be x.

[abakker]

It's funny, I posted this same thing on the 1/0 = 1 thread the other day. It seemed to me that the logic was linked.

https://news.ycombinator.com/item?id=17737175