Lemma 14. Assuming that:

$A \subset X^{(r)}$ is $U V$ -compression for all $U, V$ with $| U | = | V |$ , $U \cap V = \emptyset$ , $\max V > \max U$

Then

A

is an initial segment of colexicographic.