Proving normality

Redirect to:

• Proving that a subgroup is normal