Обобщенные сепаранты дифференциальных многочленов

Пусть $f\in K\{y\}$ — элемент кольца дифференциальных многочленов от одной дифференциальной переменной $y$ с одним дифференцированием $\delta$. Для любой переменной $y_k$ многочлен $g=\delta^n(f)$ можно представить в виде $g=A_ky_k+g_0$, где $g_0$ не зависит от $y_k$. Если $y_k$ — старшая переменная $g$, то $A_k$ является сепарантой многочлена $f$. Для больших $n$ и $k$ установлена формула для $A_k$ и продемонстрировано ее применение.