Assertion: abelian group's subgroup | /r/CapableOf | equal its own normal closure
Facets:
Source sentences:
text: The idea behind using the normal closure in order to prove normality is to prove that the subgroup equals its own normal closure.