L(y) 之后的位元截短而得，故因此 bcode(y) 必不比 CDF(x) 小。上图说明了 formula_18 ，因此前缀码定理成立。
编码长度.此码之平均长度为formula_19 。<br>因随机变数 X 之熵H(X) 满足夏农–菲诺–以利亚码之长度约比代编码资料之熵长约一到二额外位元，故甚少被实用。
参考书目.T. M. Cover and Joy A. Thomas (2006). Elements of information