[math-fun] Nested polyhedral puzzle