我们便得到formula_2个介于1和formula_2之间（含等于formula_2）的整数（这是因为formula_14不是整数，因此比formula_14小的整数必然小于等于formula_2）。关键的一步，是证明这些数两两不等。证明是用反证法：假设在这些数中有两个数formula_24和formula_25相等，那么找出其对应的“原型”：formula_26与formula_27，其中"k"和"l"是两个介于1和formula_2之间的整数。分别平方后，就有：因此"p"整除两者之差：for