theorem :: POLYVIE1:12

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