Shannon Source Coding Theorem