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