Con dicha caracterización, es claro que la suma de dos semillas cualesquiera no-invertibles es de nuevo no invertible, y tenemos un anillo conmutativo local.