LaTeX source file can be found at https://www.pdmi.ras.ru/~arnsem/Arnold/arn-papers.html