theorem simpAgcd2: :: FIELD_14:20

for F being Field
for a being Element of F
for p being Ppoly of F,{a} holds p = rpoly (1,a)