クロス・スワップ公式からアルチン関係式

ETBダイアグラムの8節に、クロスの公理がある。最後の公理は、クロスにそって射（ボックス）をスワップできることを示す。これは非常に強力な公理だ。

クロスをまとめる公式とスワップを使えば、アルチン関係式（ヤン・バクスター方程式）は出る。