[Information Theory] L4: Entropy and Data Compression (III): Shannon's Source Coding Theorem, Symbol Codes https://en.wikipedia.org/wiki/Huffman_coding