Assertion: gauss's theorem | /r/HasProperty | gaussmethod
Facets:
Source sentences:
text: Theorem 1.4 (Gauss' method)