theorem ZZ3y: :: FIELD_14:15

for F being Field
for p being monic Polynomial of F
for r being Polynomial of F st p *' r is monic holds
r is monic