theorem Th3: :: E_TRANS1:8

for R being domRing
for f being Element of the carrier of (Polynom-Ring R) holds rng f = (f .: (Support f)) \/ {(0. R)}