theorem Th53: :: GROUP_11:53

for G being Group
for N, H being Subgroup of G holds N ` H c= carr H