Using normality

Redirect to:

• Using that a subgroup is normal