Функция f абсолютно интегрируема на конечном или бесконечном интервале (a,b).Тогда
(*)Будем считать
. Функция f является непрерывной по сдвигу в среднем, т.е.
при 
Заменим в начальном интеграле x на
, получаем

в силу (*) получаем утверждение теоремы.