I think you might be caught up on the wrong things. We are working backwards along the following proof. Normally I wouldn't post an entire proof, but you've already solved the problem. I want to make sure you have a complete understanding of how that solution worked.
There exists a natural...