素数は４で割った場合にその剰余が１となるＡ型の素数、および剰余が３となるＢ型の素数と２種類の素数に分類されます。
A型の素数は二つの自然数（一方は奇数、他方は偶数）の平方和ととして一通りに表現されることが フェルマーによって予言され、その後オイラーによって証明されました。