コヒーレンス定理

モノイドの演算は結合律を満たすので、どのように括弧を付けても同じ結果になる