[math-fun] Animation of regular 17-gon construction