Assertion: gauss | /r/CapableOf | state general theorem
Facets:
value: in the form
type: OTHER
Source sentences:
text: Noting that it is easier to state for −3 and +5 than it is for +3 or −5, he states the general theorem in the form: