  We prove a data processing inequality for quantum communication channels,
which states that processing a received quantum state may never increase the
mutual information between input and output states.
