face aspect of icosahedron, 1 assertions