Flajolet and Salvy [1]} defined a kernel function \(\xi (s)\)  with two requirements: 1. \(\xi (s)\)  is meromorphic in the whole complex plane. 2. \(\xi (s)\)  satisfies \(\xi (s)=o(s)\)  over an infinite collection of circles \(\left| s \right| = {\rho _k}\)  with \({\rho _k} \rightarrow \infty \) . Applying these two conditions of kernel
function \(\xi (s)\) , Flajolet and Salvy discovered the following residue lemma.

Флахоле и Сальви [1] определили ядерную функцию \(\xi (s)\) с двумя требованиями: 1. \(\xi (s)\) является мероморфной на всей комплексной плоскости. 2. \(\xi (s)\) удовлетворяет условию \(\xi (s)=o(s)\) на бесконечной коллекции окружностей \(\left| s \right| = {\rho _k}\) с \({\rho _k} \rightarrow \infty\). Применяя эти два условия ядерной функции \(\xi (s)\), Флахоле и Сальви обнаружили следующую лемму о остатках.