Setiap ideal maksimal dalam gelanggang komutatif dengan identitas juga merupakan ideal prima.