for L being domRing
for p being non-zero Polynomial of L st Roots p = {} holds
SumRoots p = 0. L