theorem :: FIELD_14:57

for F being Field
for p being non zero Polynomial of F holds card (MonicDivisors p) <= 2 |^ (deg p)