Assertion: proof | /r/HasSubgroup | working proof
Facets:
Source sentences: