Теорема, доказанная в 2005 году О.Я.Виро и В.О.Мантуровым, утверждает, что если две диаграммы K и K', имеющие ориентированные атомы, эквивалентны, то найдется цепочка K=K_0 o \dots o K_n=K' из диаграмм с ориентированными атомами, в которой каждые две соседние получаются друг из друга движением Рейдемейстера. В докладе планируется рассказать о новом доказательстве этого факта, использующем понятие относительной четности для набора вершин в оснащенном четырехвалентном графе.