theorem Th134: :: GROUP_3:134

for x being set
for G being Group
for H being strict Subgroup of G holds
( x in Normalizer H iff ex h being Element of G st
( x = h & H |^ h = H ) )