theorem T8: :: RING_4:37

for F being Field
for p being Element of the carrier of (Polynom-Ring F) holds
( p is Unit of (Polynom-Ring F) iff deg p = 0 )