theorem :: FIELD_1:30

for R being non degenerated Ring
for S being b₁ -homomorphic Ring
for h being Homomorphism of R,S
for p being non zero Element of the carrier of (Polynom-Ring R) holds
( deg ((PolyHom h) . p) = deg p iff h . (LC p) <> 0. S )