Normalizer of Conjugate is Conjugate of Normalizer

Theorem
The normalizer of a conjugate is the conjugate of the normalizer:

$$S \subseteq G \Longrightarrow N_G \left({S^a}\right) = \left({N_G \left({S}\right)}\right)^a$$