Shannon's First Coding Theorem