Provably well-founded strict partial orders

In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\mathrm{A}\mathrm{C}\mathrm{A}}_0$ admits an embedding to an ordinal$<{\epsilon }_0$.