这个可以直接类比素数无穷多的欧几里德证明.首先除了2,3以外的质数只可能为6k+1或6k+5型.假设6k+5型的素数只有有限个,设为p1,p2,...,pn.考虑N = 6·p1·p2·...·pn+5,可知N不被p1,p2,...,pn整除,即不被6k+5型的素数...