Third isomorphism theorem