Question

If f:X-->Y and g:Y-->X are functions such that f∘g=the identity function on Y and g∘f=the identity function on X, then prove that f and g are both one-to-one and onto and g=f^(-1) or give a counterexample to disprove.