Alexander Coward demonstrated that for link diagrams representing equivalent links, there is a sequence of moves ordered by type: first type I moves, then type II moves, type III, and then type II.
Александр Ковард показал, что для диаграмм зацеплений, представляющих эквивалентные зацепления, есть последовательность движений, упорядоченная по типам: сначала выполняются движения типа I, затем — типа II, типа III и снова типа II.