设L是所有d(i)-d(j)(1≤j<i≤n)的一个公倍数, 当m≥L时, 每个括号里m+d(i)>L, 所以一定存在素数p₁, p₂, …, 使 ν_p(i)(m+d(i))> ν_p(i)(L)
则对任何j≠i, ν_p(i)( |d(i)-d(j)| )≤ ν_p(i)(L) < ν_p(i)(m+d(i))
则 ν_p(i)(m+d(j)) = ν_p(i)( |d(i)-d(j)| ) < ν_p(i)(m+d(i))
也就是证明m+d(i)含p(i)的次数是每个括号里最高的, 所以p₁, p₂, …, p(n)是互不相同的，它们都是P(m)的素因子
则对任何j≠i, ν_p(i)( |d(i)-d(j)| )≤ ν_p(i)(L) < ν_p(i)(m+d(i))
则 ν_p(i)(m+d(j)) = ν_p(i)( |d(i)-d(j)| ) < ν_p(i)(m+d(i))
也就是证明m+d(i)含p(i)的次数是每个括号里最高的, 所以p₁, p₂, …, p(n)是互不相同的，它们都是P(m)的素因子
