Source Coding Theorem Proof