Assertion: remainder | /r/HasProperty | the sum of the sum
Facets:
Source sentences:
text: The remainder of a number when divided by 9 is the sum of the sum (add as many times as needed) of its digits.