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 ditunjukkanR/N adalah suatu lapangan maka N adalah ideal maksimal dari R.2)N adalah ideal maksimal dari R maka R/N adalah suatu lapangan.