Shannon’s Source Coding Theorem