theorem :: GROUP_6:17

for G being Group
for N being normal Subgroup of G holds the carrier of (G ./. N) = Cosets N ;