A simple technique for bounding the redundancy of source coding with side information.