Prove that the cancellation law of multiplication is equivalent in a commutative ring to the assertion that the product of non-zero factors is not zero