"Given an x, y, and N such that x/N == y/N, it is true that x == y".
There is no need to say N != 0 under the ordinary definition of division.