Inverse of a Module Isomorphism