必须使用素数。素数有无穷多个。有关这一命题的最早书面证明出现于公元前 300 年左右，有 “几何之父” 。
(father of geometry) 美誉的古希腊数学家欧几里得 (Euclid) 在《几何原本》 (Elements) 中陈述了这一命题并给出了证明 (列于《几何原本》第 9 卷的第 20 个命题)。
扩展资料
1、在一个大于1的数a和它的2倍之间（即区间（a, 2a]中）必存在至少一个素数。
2、存在任意长度的素数等差数列。
3、一个偶数可以写成两个合数之和，其中每一个合数都最多只有9个质因数。（挪威数学家布朗，1920年）
