We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers.