Танец окружностей, или Теорема 2000 года