for F being Field
for p being Polynomial of F st deg p = 1 holds
p splits_in F