 Monoidal coherence theorem

Every diagram formed solely from the canonical associators, unitors and their inverses commutes. Consequently structural reparenthesizations can be suppressed in calculations; this statement does not make distinct braidings equal.