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