リュカ–レーマー・テストの証明
は、エドゥアール・リュカの判定法を改良し、今日ではリュカ–レーマー・テスト() と呼ばれる、メルセンヌ数に対する素数判定法を確立した。