theorem Th14xy: :: FIELD_11:31

for F being Field
for m being Ordinal
for p being Polynomial of F holds Poly (m,(- p)) = - (Poly (m,p))