edge aspect of tetrahedron, 1 assertions