Hello everyone,
I want to prove that for postive integers x, y, y is not equal to x+y. I want to do this using the WOP. Here's what I have done so far:
Suppose for some postive integer x, there exists a y st y y+x. By the WOP, there exists a smallest x0 st y=x0+y. Now I think I may have to apply the WOP again, but am not sure. Any advice?
Thanks a lot,
Kevin
P.S. A little help using special BBC code. I'd like to use LaTex but when I try to do the not equal sign it shows up as:
[latex]\ne [/latex]
How do I get rid of the < br > ?