I think someone is replying to this now who should be able to help, so since I'm kind of learning this topic as well, I'll ask a question.

This proof requires that we show that there exists a map that is one-to-one, onto, and has an inverse. That is the more explicit objective right?

What is x defined as though?