Специальные дифференциальные кольца

Ассоциативно-коммутативное кольцо $R$ с отмеченным нетривиальным дифференцированием $d$ называется специальным дифференциальным кольцом, если для всякого $r\in R$ существует такое натуральное число $n=n(r)$, что $d^nr=0$. Доказаны следующие две теоремы: 1) Специальное дифференциальное кольцо $R$ с полем констант $K$ характеристики $p>0$ (дифференциально) изоморфно усеченному кольцу многочленов над полем $K$ ($x_i^p=c_i\in K$ для всех неизвестных) от конечного или от счетного множества неизвестных. 2) В специальной дифференциальной алгебре, бесконечномерной над полем своих констант произвольной характеристики, всякий элемент имеет интеграл.
Библ. 8.