Assertion: function's result | /r/HasProperty | established
Facets:
Source sentences:
text: A similar result can be established using Rolle's theorem.