(IC 4.8) Optimality of Huffman codes (part 3) - sibling codes

We prove that Huffman codes are optimal. In part 3, we show that there exists a "sibling code".
A playlist of these videos is available at:
• Information Theory