Prove that the mapping is a permutation of .
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?