Normal Subgroup iff Normalizer is Group

Theorem
$$H \triangleleft G \iff N_G \left({H}\right) = G$$.

That is, a subgroup of a group is normal in that group iff the normalizer of that subgroup is the group itself.

Proof
Follows directly from Normalizer Largest Subgroup.