for R being domRing
for p being Element of the carrier of (Polynom-Ring R) st p is Unit of (Polynom-Ring R) holds
( not p is zero & p is constant )