Shannon's Noiseless Coding Theorem