?复查
...分解因子(Trial Factoring)3用 P-1 方法分解因子(P-1 Factoring)4卢卡斯-莱默测试(Lucas-Lehmer testing)5复查(Double-checking)6翻译说明 生成一个列表(Forming a list) 很容易证明，如果 2P-1 是素数，则 P 也一定是素数。
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。