face aspect of dodecahedron, 3 assertions