f : X → Y is an invertible function.
∴ f is one-one and onto ⇒g : Y → X, where g is also one-one and onto such that
gof(x) = Ix and fog(y) = Iy ⇒ g = f-1.
Now, f-1o(f-1)-1 = I
and fo[f-1o(f-1)-1] = foI
or (fof-1)o(f-1)-1 = f
Io(f-1)-1 = f
⇒ (f-1)-1 = f