Утверждения справедливы для алгоритма хаффмана