Assertion: triangle's number | /r/HasProperty | different
Facets:
Source sentences:
text: This theorem does not imply that the triangular numbers are different (as in the case of 20 = 10 + 10 + 0), nor that a solution with exactly three nonzero triangular numbers must exist.