INTEGERS

Eulerの定理の精密化であるCarmichaelの定理を証明し、絶対擬素数の定義と判定法を与える。