Assertion: polyhedron's vertex | /r/HasProperty | a 0-face
Facets:
Source sentences:
text: where N k denotes the number of k-faces in the polytope (a vertex is a 0-face, an edge is a 1-face, etc.).