theorem Th3: :: GROUP_5:3

for G being Group
for a, b being Element of G
for N being strict normal Subgroup of G st a in N holds
a |^ b in N