Assertion: sequence | /r/HasAspect | its first value
Facets:
Source sentences:
text: Proof: Assume that the sequence {i, i+1,..., i+4} has its first value i