【１】ラビノビッチの定理（１９１２年）

　Ｄ＜０でＤの類数が１，Ｄ＝１　ｍｏｄ　４ならば（かつそのときに限り）

　　ｘ^2−ｘ＋（１＋｜Ｄ｜）／４

は，ｘ＝１，２，・・・，（｜Ｄ｜−３）／４に対して，素数になる．

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

　Ｄ＝１　ｍｏｄ　４となるのは

　　Ｄ＝−３，−７，−１１，−１９，−４３，−６７，−１６３

　　ｄ＝（１＋｜Ｄ｜）／４

とおくと

　ｄ＝１，２，３，５，１１，１７，４１

　オイラーの素数生成式

　　ｘ^2−ｘ＋４１

は，Ｄ＝−１６３，ｄ＝４１の場合に相当しています．

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