Assertion: root | /r/HasAspect | even multiplicity
Facets:
Source sentences:
text: A non-zero polynomial function is always non-negative if and only if all its roots have an even multiplicity and there exists x 0 such that f(x 0 )