Second isomorphism theorem