Flawed proof that all positive integers are equal

Are you familiar with the proof that all horses are the same color? Try googling that phrase, it fails in a similar (but not identical) way. Try working through the case $k=1$ of your problem, and think about what might go wrong with $x$ and $y$ when you try to apply your base case.


Try $x=1$, $y=2$. Note that $x-1$ is not a positive integer.