for F being algebraic-closed Field
for p being non constant Polynomial of F ex a being Element of F ex q being Ppoly of F, BRoots p st a * q = p