「trivial knot は composite knot でないことの証明」

ほどける結び目を trivial knot (自明結び目)と呼ぶ。
また、composite knot (合成結び目)とは２箇所以上に結びコブを持つ結び目のことである。
自明結び目は composite knot ではないことを証明した。