Corollary 18. Assuming that:

• $A\subset X^{(r)}$, and $C$ is the initial segment of colexicographic on $X^{(r)}$ with $|C|=|A|$