Assertion: triangle's vertex | /r/HasProperty | vertices of the given polygon
Facets:
Source sentences:
text: Of all triangles contained in a given convex polygon, there exists a triangle with maximal area whose vertices are all vertices of the given polygon.