Data-processing inequality

If $X$, $Y$ and $Z$ form a Markov chain, $X - Y - Z$, then $$ I(X; Z) \leq I(X; Y) $$ with equality if and only if $X - Z - Y$.