theorem cc3: :: RING_5:69

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