>>237 訂正

〔補題〕
 n!を素因数分解したとき、(pのベキ指数)≦ (n-1)/(p-1).
 等号成立はnがp-ベキのときに限る。