值）为："P" 的长度为常数，不取决于 "D" ，所以，至多有一个常数项长度的前缀，不取决于描述对象。所以，最优描述语言在up to固定前缀的意义上是通用的。
更正式的描述."'定理"'：设 "K" 和 "K" 是满足图灵完备性的描述语言 "L" 和 "L"的复杂度函数，则存在一个常数 "c" ，仅取决于对于语言 "L" 和 "L" 的选择，有：证明：根据对称性，可以证明存在一个常数 "c" 对于所有的字符串 "s" 满足：然后，假设语言 "L" 中存在一个程序，相当