theorem Th21: :: ALGGEO_1:21

for R being domRing
for n being non empty Ordinal
for f, g being Polynomial of n,R holds Zero_ {(f *' g)} = (Zero_ {f}) \/ (Zero_ {g})