吴哲和张德同两人讨论了一阵，一时也没什么头绪，聊了会吴哲也就离开了。
回了宿舍，见汪潮他们都不在。想想也是正常，即使没课，最近三人也都忙的看不见人影。
打开电脑后，吴哲放了首轻音乐, 闭目靠在了椅背上。看着像是在闭目养神。可脑袋中却是一刻也没有停歇下来。
归纳法不行，那试试用反推法看看。
假设孪生素数是有限对，并且设最大的孪生素数对为（Pn-1，Pn）。可知Pn以内的素数是有限的，设为P1、P2...Pn-1、Pn。
然后构造一个大素数P=（P1P2P3*...*Pn）+1
显然P不能被从P1到Pn的所有素数整除，永远余1，所以P是素数。同理可证得, P-2=（P1P2P3*...*Pn）-1显然也是素数，被任何从P1到Pn的素数除永远差1。
由于P是素数, P-2也是素数，俩个构成一对孪生素数。
那么问题来了，P和P-2构成的孪生素数对，比最初设置的那个“最大素数对”还要大，从而否定（Pn，Pn-1）为最大孪生素数对。
就像是爬梯子一样，无论（Pn-1