✨The huffman extension and contraction are inverses of each other.
🔑The extension lemma states that an optimal code for p' is also optimal for p if it's the huffman extension.
📊The expected codeword lengths of p' and its extension can be related using the lengths of the original code.
🗂️The contraction of a sibling code results in a code with non-decreasing lengths.
🔍The expected codeword length can be used to compare the optimality of different codes.