 Shuffle bound for ordinal partitions

If a well-order is the union of suborders of types $\xi$ and $\eta$, its type is at most $\xi \#\eta$.