theorem Th34: :: ALGNUM_1:28

for K, L being Field
for w being Element of L st K is Subring of L holds
ex g being Element of (Polynom-Ring K) st {g} -Ideal = Ann_Poly (w,K)