theorem Th54: :: GROUP_11:54

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