theorem DZIW: :: FIELD_8:1

for R being Ring
for p being Polynomial of R
for q being Element of the carrier of (Polynom-Ring R) st p = q holds
- p = - q