(1) let x be fixed and do induction on y
(2) a proof by contradiction. show that is false if y is not zero.
(3) since y is a natural number that is not zero, it must be greater than 0 (since zero is the least element). so we have y > 0. now add x to both sides.