積の合同により r=(p2p)−pr=\binom{p^2}{p}-pr=(pp2)−p の括弧内の因子は p4p^4p4 の倍数である。先頭の因子 ppp を掛ければ p5∣rp^5\mid rp5∣r が従う。