最后,c1c2⋯cn=∏s=1ns(s+1)=n!(n+1)!c_1c_2\cdots c_n=\prod_{s=1}^n s(s+1)=n!(n+1)!c1c2⋯cn=∏s=1ns(s+1)=n!(n+1)!。两块的整除性即得 c1c2⋯cn∣Pc_1c_2\cdots c_n\mid Pc1c2⋯cn∣P。