Diamond isomorphism theorem