First isomorphism theorem