for K, L being Field
for w being Element of L st K is Subring of L holds
Ann_Poly (w,K) is quasi-prime