Many coding theorems follow from an elementary combinatorial lemma