theorem Th24: :: GROUP_6:24

for G being Group
for N being normal Subgroup of G holds 1_ (G ./. N) = carr N