theorem Th14: :: POLYVIE1:14

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