theorem :: NUMBER19:55

for F being Field
for x, y being Element of F holds LagBPoly ({y},x) = ((x - y) ") * (rpoly (1,y))