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