Corollary 12. Assuming that:

$A \subset X^{(r)}$ .

Then there exists a left-compressed

B \subset X^{(r)}

with

| B | = | A |

and

| \partial B | \leq | \partial A |

.