Вопрос по Холлу

[Sinoid]

Здравствуйте! Я читаю книгу Холла Комбинаторика. Там на странице 67 приводится доказательство леммы 5.1.2. В этом доказательстве множества $C'_{m+1},\ldots,C'_{r}$ получаются из множеств$C_{m+1},\ldots,C_{r}$ вычеркиванием элементов блока $B_{k,k}$. И почему-то получается, что число элементов первого множества равно числу элементов второго. Как такое может быть? Ведь по идее число элементов первого множества не больше числа элементов второго.