Suposición: para cualquier entero "n" existe una cadena "s" tal que existe una demostración de que la complejidad de "s" es mayor que "n".