Category:Subgroup equals Conjugate iff Normal