［補］佐々木の定理

　一般に，自然数νに対して，素因数の数を重複も許してｄｅｇνと書くことにします．たとえば，

　　ｄｅｇ１０＝２，ｄｅｇ８＝３，ｄｅｇ（素数）＝１

　虚２次体に対して，

　　ｍ＝ｍａｘ（ｄｅｇＰ（ｘ）），０≦ｘ≦ｑ−２

とおくと，ラビノヴィッチの定理は

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

ですから，

　　ｍ＝１　←→　ｈ＝１

を意味しています．

　実は

　　ｍ＝２　←→　ｈ＝２

であることも佐々木隆二氏によって証明されています．しかし，Ｑ（√−２１）では

　　ｍ＝３　＜　ｈ＝４

が起こってしまいます．

　なお，佐々木氏は常に

　　ｍ≦ｈ

が成り立つことも証明しています．

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