Assertion: sequence | /r/HasProperty | proved
Facets:
Source sentences:
text: A finite sequence is finite regardless of whether or not we know it to be finite, but a sequence can only be declared as finite if it has been proved, in which case the sequence is assigned keyword:fini in the OEIS.