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