Information and Coding Theorem