Let be a function defined as
Show that f is invertible. Find its inverse.
Let be a function defined as
Arbitrary Element Y
Define
Now
and
This shows that and
which implies that f is invertible and g is the inverse of f.
Hence Proved.