О реализуемости финитных автокорреляционных функций

Дано необходимое и достаточное условие того, что непрерывная положительно-определенная функция $R(\tau) (-\infty<\tau<+\infty)$ является финитной. Приведено обобщение на матричнозначпый и операторнозначный случаи.