Assertion: sequence's number | /r/HasProperty | determined
Facets:
Source sentences:
text: For, after the first n numbers in the sequence have already been determined, it is always possible to extend the sequence by one more element: U n − 1 + U n is uniquely represented as a sum of two of the first n numbers, and there may be other smaller numbers that are also uniquely represented in this way, so the next element can be chosen as the smallest of these uniquely representable numbers.