theorem fresh2: :: FIELD_15:42

for p being Prime
for R being commutative b₁ -characteristic Ring
for a being Element of R holds - (a |^ p) = (- a) |^ p