Wyner-Ziv Theorem

The rate–distortion function for $X$ with side information $Y$ available non causally at the decoder is $R(D)= min_{p(u|x),\hat{x}(u,y)} I(X;U|Y)$.