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