22.4. Το { 0 } είναι προφανώς ένα ιδεώδες του F.
Εστω Η ιδεώδες
του F με Η
{
0 }. Τότε το Η
περιέχει
στοιχείο h
0,
και το h-1 υπάρχει στο σώμα F.
Εστω s
F. Τότε
h-1.s
F και,
αφού το Η
είναι ιδεώδες
του F, s = h.(h-1.s)
Η.
Επεται ότι Η = F.
Συνεπώς, το F έχει δύο ιδεώδη, το { 0 } και το F.