Prove that the mapping is a permutation of .

Attempt:

I think to prove this I have to show that both one-to-one and onto properties hold:

For one-to-one, suppose

Now how do I simplify this to get ?

To prove it's Onto, I think I have to show that evey has an image under . So, how do I need to "show" that for some j?