theorem u6: :: FIELD_8:23

for F being Field
for p being Ppoly of F
for a being Element of F holds LC (a * p) = a