Assertion: gauss's theorem | /r/HasProperty | proved by gauss
Facets:
Source sentences:
text: The theorem was conjectured by Euler and Legendre and first proved by Gauss.