theorem :: GROUP_6:18

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