Dsp Average Value Theorem