theorem ZZ1f: :: FIELD_14:27

for R being non degenerated comRing
for p, q being Polynomial of R holds Roots p c= Roots (p *' q)