>>237　訂正

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