従って、このビット列群は接頭符号であり、クラフトの不等式からformula_40が成り立つ。