Assertion: gauss | /r/CapableOf | prove supplementary laws
Facets:
Source sentences:
text: Gauss first proves the supplementary laws.