Past exam of the mathematics course of the University of Cambridge / 2017 / ii / Paper 2 / 14H / iii

True. The valid distributive law for ordinal multiplication isThe synthetic definition of ordinal multiplication takes a sequence of copies of the left factor, indexed by the right factor. A sequence indexed first by $\beta$ and then by $\gamma$ is exactly the concatenation of the two corresponding sequences. Taking order types gives the identity. Equivalently, use transfinite induction on $\gamma$, with the successor rule and the supremum rule at limit ordinals.