If F is a field, I is a nonzero ideal in F[x], and g(x) is an element of F[x], state a neccessary and sufficient condition for I = < g(x)>.