强素数的一个生成算法

给出了强素数的一个生成算法:设Po是一个奇素数且户po≠1,4(mod 7),po≠7(mod 10),po≠1(mod 13),为正整数目2Bm-2/1＜po·p1=2p1-1=2mp2+1,p4=2p3-1=4mp2+1,p5=2p4-1=m8mp22+1,则p1,p2,p3,p4,P5都为素数的充分必要条件是:26po=1(mod p1),212po=1(mod p2),22mp2=1(mod p3),24mp2=1(mod p4),2smp2=1(mod p5),其中P5就是一个强素数,并给出了一个实例分析.