Achievability Proof via Output Statistics of Random Binning.pdf