The function .
Injectivity: Let be such that
Hence, f is one-one function.
Surjectivity: Let y be an arbitrary element of . Then,
f(x) = y
As .
Also, because , which is not possible.
Thus,
such that
, so every element in has pre-image in .
Hence, f is onto.
Now,
Replacing x by and y by x, we have