Isomorphism/Inverse mapping/Eigenvalue/Exercise