bcode(x) 为二进位表示法最左侧加入小数点而成之小数。举例而言， code(C)=1010 ，则 bcode(C) = 0.1010 。 对所有 x ，如果没有任何 y 存在使得 则所有的码可构成前缀码。此性质可透过比较 F 和 X 之累积分布函数，以图表示出：由 L 之定义可得并且由于 code(y) 是由 F(y) 从 L(y) 之后的位元截短而得，故因此 bcode(y) 必不比 CDF(x) 小。上图说明了 formula_18 ，因此前缀码定理成立。Section::