Assertion: gauss's proof | /r/HasAspect | two cases
Facets:
Source sentences:
text: The proof is divided into two cases: