for A being non degenerated Ring
for B being non degenerated comRing
for w being Element of B st A is Subring of B holds
Ann_Poly (w,A) is proper Ideal of (Polynom-Ring A)