Residual distortion remaining after pre- or postdistortion

We prove a theorem that, if a distorting system is corrected by a given nonexact distortion compensation network, the residual distortion given with the compensation placed before the system is the same as the residual with it after the system to first order in the residual distortion.