>>355,>>359
>よってC[k,k]=1もpで割り切れなければならなくなって不合理

↑この部分がちょっとまずいですが….初項がC[p^m,k]の可能性もありますから,別の例外を探す必要があります.