
theorem
for R being domRing
for p,q being Polynomial of R holds q divides p implies Roots q c= Roots p
by ZZ3b;
