Fermat's little theorem
フェルマーの小定理の逆が成り立たないように、上の定理の逆も成り立たない。つまり "D" と互いに素な合成数 "n" が "Ul" （formula_25）を割り切る場合が存在する。そのような "n" は リュカ擬素数 ("Lucas pseudoprime") という。