Information Theory Coding Theorems for Discrete Memoryless Systems