Shannon's Second Coding Theorem