 Multiplicative closure criterion for a power of omega

For nonzero $\lambda$, the ordinal ${\omega }^{\lambda }$ is multiplicatively closed exactly when $\lambda$ is additively closed. One direction follows fromFor the other, the leading exponent of an ordinal product shows that products of ordinals below ${\omega }^{\lambda }$ still have leading exponent below $\lambda$.