Assertion: gauss | /r/CapableOf | prove lemma
Facets:
Source sentences:
text: Gauss needed, and was able to prove, a lemma similar to the one Legendre needed: