Third group isomorphism theorem