Isomorph-conjugacy is normalizer-closed in finite

Statement
The normalizer of an isomorph-conjugate subgroup in a finite group is again isomorph-conjugate.

Facts used

 * 1) uses::Normalizer of isomorph-conjugate implies isomorph-dominating
 * 2) uses::Isomorph-dominating equals isomorph-conjugate in finite

Proof
The proof follows by piecing together facts (1) and (2).