cualquier anillo conmutativo "R" y cualquier Ideal primo "P" de "R", la localización de "R" en "P" es local; el ideal maximal es el ideal generado por "P" en esta localización.