theorem thirred: :: FIELD_10:6

for F being Field
for p being Element of the carrier of (Polynom-Ring F) st deg p = 3 holds
( p is reducible iff p is with_roots )