Backward Path of Well-Ordering is Finite

Theorem
Let $A$ be a class under a well-ordering $\preccurlyeq$.

Let $S$ be a backward path of $\preccurlyeq$ in $A$.

Then $S$ is finite.