Assertion: polyhedron's vertex | /r/CapableOf | share common extra vertex
Facets:
value: by the pigeonhole principle
type: OTHER
Source sentences:
text: By the Pigeonhole Principle, at least two vertices must share a common extra vertex.