Assertion: polyhedron's face | /r/HasProperty | disk
Facets:
Source sentences:
text: The assumption that all faces are disks is needed here, to show via the Jordan curve theorem that this operation increases the number of faces by one.)