for F being domRing
for p being Polynomial of F
for b being non zero Element of F holds Roots (b * p) = Roots p