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.