theorem Th27: :: POLYVIE1:27

for L being Field
for a being Element of L
for b being non zero Element of L holds SumRoots <%a,b%> = - (a / b)