theorem Th15: :: GROUP_6:15

for G being Group
for x being set
for N being normal Subgroup of G st x in Cosets N holds
x is Subset of G ;