rotation of tetrahedron in dodecahedron