theorem ZZ1fB: :: FIELD_14:36

for F being Field
for p, q being non zero Polynomial of F holds BRoots p divides BRoots (p *' q)