だとすれば、ひょっとすると、任意の結び目が自明かどうかを完全に判定する
アルゴリズムも無いことが導かれたりするのではないか？