フェルマーは，

　　「ｐが４で割ると１余る素数ならば，ｐ＝ｘ^2＋ｙ^2となる自然数が存在する」

　　「ｐが８で割ると１または３余る素数ならば，ｐ＝ｘ^2＋２ｙ^2」

　　「ｐが８で割ると１または７余る素数ならば，ｐ＝ｘ^2−２ｙ^2」

　　「ｐが３で割ると１余る素数ならば，ｐ＝ｘ^2＋３ｙ^2」

となる自然数ｘ，ｙが存在することを発見しました．ｐ＝ｘ^2＋ｙ^2，ｐ＝ｘ^2＋２ｙ^2，ｐ＝ｘ^2−２ｙ^2，ｐ＝ｘ^2＋３ｙ^2，・・・などの発見は，類体論の序曲をなすものといえるのです．

　　ｘ^2＋ｙ^2＝（ｘ＋ｙｉ）（ｘ−ｙｉ）

　　ｘ^2＋２ｙ^2＝（ｘ＋ｙ√−２）（ｘ−ｙ√−２）

　　ｘ^2−２ｙ^2＝（ｘ＋ｙ√２）（ｘ−ｙ√２）

　　ｘ^2＋３ｙ^2＝（ｘ＋ｙ√−３）（ｘ−ｙ√−３）

ですから，それぞれ２次体

　　Ｑ（ｉ），Ｑ（√−２），Ｑ（√２），Ｑ（√−３）

と関係していることは容易に想像されます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝