theorem :: FIELD_15:52

for p being Prime
for R being commutative b₁ -characteristic Ring
for a being Element of R holds (Deriv R) . (X^ (p,a)) = 0_. R