On the Coding Theorem and its Converse for Finite-Memory Channels