(If the code of KolmogorovComplexity is shorter, the contradiction remains.
（如果 KolmogorovComplexity 的代码要更短一些，反证依然成立。