Положительно определенные функции бесконечного числа переменных Некоторые вспомогательные факты