Let a program p on input a output b. We are looking for a shorter program p' having the same property (p'(a)=b). In addition, we want p' to be simple conditional to p (this means that the conditional Kolmogorov complexity K(p'|p) is negligible). In the present paper, we prove that ... more >>>