  We prove a conjecture of S. Gao-J. Kiers-G. Orelowitz-A. Yong which asserts
the reducibility of certain generalized Dyck paths. This gives a strengthening,
and new proof, for their Width Bound Theorem on the Hilbert basis of the Kostka
semigroup.
