。可知pn以内的素数是有限的，设为p1、p2pn-1、pn。

然后构造一个大素数p=（p1p2p3pn）+1

显然p不能被从p1到pn的所有素数整除，永远余1，所以p是素数。同理可证得,p-2=（p1p2p3pn）-1显然也是素数，被任何从p1到pn的素数除永远差1。

由于p是素数,p-2也是素数，俩个构成一对孪生素数。

那么问题来了，p和p-2构成的孪生素