Assertion: gauss's proof | /r/MadeOf | reference
Facets:
value: to the
type: OTHER
Source sentences:
text: The proof of Lemma 4 contains a reference to the