Data Processing Inequality Proof