face aspect of tetrahedron, 4 assertions