Order Type Multiplication is Associative

Theorem
Let $\alpha$, $\beta$ and $\gamma$ be order types of ordered sets.

Then:
 * $\paren {\alpha \cdot \beta} \cdot \gamma = \alpha \cdot \paren {\beta \cdot \gamma}$

where $\cdot$ denotes order type multiplication.