theorem Th14: :: FIELD_11:30

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