>>707

なんかこの手の分野って厳密なところ（定義とか）と超いい加減なところが
混じり合っていますね。異様な光景ですね。

なんでですか？

「実際に、図2のように、一方の結び目を変形して他方へ一致させられる」

とかいい加減そのものですよね。