最後に 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 が従う。