Ob odnoi lemme Kontsevicha

A.G. Khovanskii

Nedavno M.Kontsevich postroil universal'nuyu teoriyu kvantovaniya. 
Sredi otkrytykh im faktov soderzhitsya sleduyushchee utverzhdenie. 
Pust' $f_1,\dots, f_{2n}$ sut' $2n$ ratsional'nykh funktsii na polnom 
kompleksnom algebraicheskom mnogoobrazii $M$, kompleksnaya razmernost'
kotorogo ravna $n$. Pust' $M_0$ --- mnozhestvo neosobykh tochek
algebraicheskogo mnogoobraziya $M$, iz kotorogo vybrosheno
ob"edinenie nositelei divizorov funktsii $f_1,\dots,f_{2n}$.
Oboznachim cherez $\arg f_i$ argument funktsii $f_i$.

Lemma Kontsevicha:
$$
\int\limits_{M_0}d\arg f_1\land\dots\land d \arg f_{2n}=0.
$$

V poslednem spiske zadach V.I.Arnolda est' sleduyushchaya zadacha: 
dat' naglyadnoe dokazatel'stvo lemmy Kontsevicha. V nastoyashchei zametke 
takoe dokazatel'stvo privoditsya.