Assertion: ellipsoid | /r/HasProperty | stable invariant one
Facets:
Source sentences:
text: This implies that the ellipsoid is an asymptotically stable invariant one, which completes the proof.