Proof: The optimality follows from

Proof: The optimality follows from the symmetry of the allocation. Because of this optimality, in the following it can be assumed w.l.o.g. that the set S consists of the first s blocks. Define aj as the number of bits that are used for the first time in block number j. It will be shown that

Kết quả (Việt) 1:

Bằng chứng: Điều sau khỏi sự đối xứng của việc phân bổ. Bởi vì điều này, trong sau mà nó có thể được giả định w.l.o.g. S thiết lập bao gồm các khối chính s. Xác định aj là số bit được sử dụng cho lần đầu tiên trong khối số j. Nó sẽ được hiển thị mà

Kết quả (Việt) 2:

Bằng chứng: Các tối ưu sau từ các đối xứng của các phân bổ. Do tối ưu này, trong những điều sau đây có thể giả định rằng wlog tập S gồm khối các fi đầu tiên s. Xác định aj là số bit được sử dụng lần đầu tiên trong số khối j. Nó sẽ chỉ ra rằng