theorem :: GROUP_24:57

for G being Group
for H1, H2 being Subgroup of G
for N being normal Subgroup of G st H1,N are_complements_in G & H2,N are_complements_in G holds
H1,H2 are_isomorphic