Para ver esto, observaremos que el teorema se mantiene para el citatorio, de manera que siwidth(X−C,P(X−C))=w′<w, entonces podemos particionarloX−C como\(X−C=C_1 \cup C_2 \cup \cdot \cdot \cd...Para ver esto, observaremos que el teorema se mantiene para el citatorio, de manera que siwidth(X−C,P(X−C))=w′<w, entonces podemos particionarloX−C comoX−C=C1∪C2∪⋅⋅⋅∪Cw′, así que esoX=C∪C1∪⋅⋅⋅∪Cw′ es una partición enw′+1 cadenas.