Assertion: polyhedron's face | /r/CapableOf | provide the existence
Facets:
Source sentences:
text: Its dual, the Szilassi polyhedron, has seven hexagonal faces that are all adjacent to each other, hence providing the existence half of the theorem that the maximum number of colors needed for a map on a (genus one) torus is seven.