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