遵循Furusho的五边形和六边形方程

在[F]中，H. Furusho证明了关于结合子三个定义方程的一个优美结果：五边形方程蕴含两个六边形方程（另见[W]）。本文中，我们给出了该定理的一个更简单的证明（尽管我们的论文密度较低，因此仅略短）。特别地，我们将代数几何和Groethendieck-Teichmuller群的使用打包成一个有用且已知的原理，并且，不太重要地，我们消除了球面辫子的使用。