Somewhere in modulo properties

(a-b)%n=0 implies a%n=b%n this in one such case but it isn’t necessary .