Assertion: polyhedron's face | /r/HasProperty | convex polygons
Facets:
Source sentences:
text: For example, in Euclid's Elements there is a "proof" that there are 5 regular polyhedra, based on the implicit assumption that the faces of the polyhedra are convex polygons.