for F being algebraic-closed Field
for p being non constant monic Polynomial of F holds p is Ppoly of F, BRoots p