Also known as the data-processing inequality. Let form a Markov chain, i.e., . Then the mutual information between and cannot be increased by using instead of :

This is a fundamental inequality in information theory, telling us that any post-processing if (resulting in ), cannot increase the mutual information with the original source . In other words, no transformation of the received code can give more information than the code itself.