for F being Field
for q being Polynomial of F
for p being non zero Polynomial of F
for b being non zero Element of F holds
( q divides p iff q divides b * p )