Z を整数全体からなる ring とし, j を虚数単位とする.n∈(4Z+1) かつ n が素数ならば, ∃a(∃b((a∈(Z[j]-{1,-1,j,-j}))∧(b∈(Z[j]-{1,-1,j,-j}))∧(ab=n))).集合の前に - を付けたものは差集合とする.

続きを読む