Assertion: gauss | /r/CapableOf | add row
Facets:
Source sentences:
text: Gauss added the rows pairwise - each pair adds up to $n+1$ and there are $n$ pairs, so the sum of the rows is also $n\times (