theorem Th10: :: POLYVIE1:10

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