Assertion: sum | /r/HasProperty | 9999 times 10000
Facets:
Source sentences:
text: Since we know there are 9999 terms on the right, that sum on the right is 9999 times 10000 or 99990000, so that equation bercomes 2N = 99990000