theorem Th11: :: POLYVIE1:11

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