face aspect of polyhedron, 2 assertions