edge aspect of polyhedron, 2 assertions