for K being Field
for f, g being Element of (Polynom-Ring K) st f <> 0. (Polynom-Ring K) & {f} -Ideal is prime & not g in {f} -Ideal holds
{f,g} -Ideal = the carrier of (Polynom-Ring K)