Prove the remaining part of theorem 4.2.4: if f:A->B with Rng(f)=C, and if f^-1is a function, then f○f^-1=I[C].