"x(l)" は結び目不変量である、なぜなら "l" の表示を三種類のライデマイスター移動で変化させても "x(l)" は変わらないからである。