for F being Field
for p being Polynomial of F
for a being non zero Element of F holds
( a * p splits_in F iff p splits_in F )