theorem uu0: :: FIELD_8:14

for F1 being Field
for F2 being b₁ -homomorphic b₁ -isomorphic Field
for h being Isomorphism of F1,F2
for p, q being Element of the carrier of (Polynom-Ring F1) holds
( p divides q iff (PolyHom h) . p divides (PolyHom h) . q )