Under the auspices of the Computational Complexity Foundation (CCF)
Assume that for almost all n Kolmogorov complexity of a string x conditional to n is less than m. We prove that in this casethere is a program of size m+O(1) that given any sufficiently largen outputs x.