theorem :: GROUP_3:127

for G being Group
for N being normal Subgroup of G holds Left_Cosets N = Right_Cosets N