Показано, что интеграл с бесконечными пределами интегрирования от квадрата модуля периодической функции равен аналогичному интегралу с бесконечными пределами интегрирования от квадрата модуля спектральной функции исходной периодической функции с точностью до множителя.