伯特兰-切比雪夫定理说明：若整数formula_1，则至少存在一个质数formula_2，符合formula_3，存在一个质数formula_2，符合formula_5个大于formula_6的连续整数之积，是一个大于formula_6的质数的倍数。
艾狄胥定理.艾狄胥证明：对于任意正整数formula_6，存在正整数formula_9使得对于所有formula_10，formula_11和formula_12之间有formula_6个质数。他又证明formula_14、form