Andaikan R adalah suatu gelanggang komutatif dengan unsur kesatuan 1.
N adalah ideal maksimal dari R jika dan hanya jika R/N adalah suatu lapangan. Bukti : Akan ditunjukkan 1) R/N adalah suatu lapangan maka N adalah ideal maksimal dari R. 2) N adalah ideal maksimal dari R maka R/N adalah suatu lapangan.