回ったワイヤーをほどく

箱を囲んで回り込んでいるワイヤーをほどいて真っ直ぐにする操作は割と出てくる。

見た感じから、ヤンキングを使うことは予想できるが、手順は次のようにする。

1. クロス（対称ブレイディング）のスワップ公式で、箱をループから外に出す。
2. 右タイトニングを使って輪を縮める。
3. クロスと輪の部分にヤンキングを適用する。
4. クロス＋輪がなくなる。

スーパーポージング公理からスーパーポージング定理へも参照。