Let f: X → Y be an invertible function. Show that f has unique inverse.
(Hint: suppose g1 and g2 are two inverses of f. Then for all y ∈ Y,
fog1(y) = IY(y) = fog2(y). Use one-one ness of f).