なら 、従って 。素数 は より大きく、 未満の最大素数が であることから 。よって であり、因子 が階乗に現れる。 なら 、 より 。従って で、 が現れる。その積は なので、 に必要な2つの が得られる。 b<3b<3b<3 b=2b=2b=2 n=2a>2pkn=2a>2p_kn=2a>2pk aaa pkp_kpk pkp_kpk kkk a≥ka\ge ka≥k n−k=2a−k≥an-k=2a-k\ge an−k=2a−k≥a 222 aaa b=ab=ab=a n=a2n=a^2n=a2 a≥6a\ge6a≥6 n>26n>26n>26 n−k>n/3=a2/3≥2an-k>n/3=a^2/3\ge2an−k>n/3=a2/3≥2a aaa 2a2a2a 2a22a^22a2 aaa a2∣(n−k)!a^2\mid(n-k)!a2∣(n−k)!