Аналог теоремы Маркова для зацеплений в линзах

Несколько лет назад О.Виро предложил (без доказательства и, насколько докладчику известно, не опубликовал) аналог теоремы Маркова для зацеплений в трехмерном проективном пространстве. Такие зацепления, как и зацепления в трехмерной сфере, можно представлять косами, и можно ввести для них аналог движений Маркова, который от исходного получается небольшой и естественной модификацией. Если несколько изменить формулировку Виро, то она естественно обобщается также на зацепления в произвольных трехмерных линзовых пространствах, а доказательство в общем случае можно провести, используя прямоугольные диаграммы зацеплений. В случае проективного пространства это предложил сделать С.Оревков, а докладчик распространил на общий случай.