theorem :: FIELD_14:37

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