And the way, of course, to see that is basically, because Z doesn't have any zero divisors, a b minus a c can be factored, so it's a times b minus c equals zero, and if a is not zero then b minus c is. 