命題
Artin環が整域なら、それは体である。

証明
a ∈ A を 0 でない元とする。
イデアルの列 aA ⊃ (a^2)A ... ⊃ (a^n)A ⊃ ...
は途中で停留するから、(a^n)A = (a^(n+1))A となる整数 n > 0 が
ある。よって、a^n = a^(n+1)x となる x ∈ A がある。
A は整域だから、1 = ax となる。
証明終