Аннотация:
Пусть $R$ – первичное кольцо с $\operatorname{char}R\ne2$, $d$ – ненулевое дифференцирование на $R$ и $\rho$ – ненулевой правый идеал в $R$ такой, что $[[d(x)x^n,d(y)]_m,[y,x]_s]^t=0$ для всех $x,y\in\rho$, где $n\ge1$, $m\ge0$, $s\ge0$, $t\ge1$ фиксированные целые. Если $[\rho,\rho]\rho\ne0$, то $d(\rho)\rho=0$.