Por lo tanto deben existir al menos dos cadenas de tamaño "n" cuya representación comprimida sea común y el algoritmo de descompresión extraiga la misma cadena, existiendo por tanto al menos una cadena incompresible.