本步骤利用假设和公式 k+1k+1k+1、k2−1k^2-1k2−1、∏ai=sn(k2−1)(n!)k+1=(n!sn(k2−1)/(k+1))k+1\prod a_i=s^{n(k^2-1)}(n!)^{k+1}=(n!s^{n(k^2-1)/(k+1)})^{k+1}∏ai=sn(k2−1)(n!)k+1=(n!sn(k2−1)/(k+1))k+1、201020102010,推出所述结论。