Basic equations for source coding with side information at the decoder and encoder.