Show that if K(x) were computable, we could use the following procedure to create a short description for an incompressible string: function incompressible(n: integer) { for x ∈ {0, 1} n if K(x) >= n then output x }