HA, there is a theorem that states every nontrivial proper Ideal in F[x] (ring of polynomials in a field) must be a principal ideal. This is a very important theorem in Field Theory.

But, not necessarily it is true when speaking about any commutative ring with unity.