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