Theorem For Discrete Memoryless Source