Assertion: convex curve | /r/HasAspect | at least four vertices
Facets:
value: points that are
type: OTHER
Source sentences:
text: According to the four-vertex theorem, every smooth convex curve that is the boundary of a closed convex set has at least four vertices, points that are local minima or local maxima of curvature.