梅森素数
卢卡斯创造出检验素数的方法。后来完善了他的方法，就是我们用来验证梅森素数的卢卡斯-莱默检验法。