About a Combinatorial Proof of the Noisy Channel Coding Theorem