theorem :: POLYVIE1:32

for L being algebraic-closed Field
for p being non-zero Polynomial of L st len p >= 2 holds
SumRoots p = - ((p . ((len p) -' 2)) / (p . ((len p) -' 1)))