一般化Lucasの定理の証明、2行目の変形キモすぎて笑った
floor(n / P^{d+1}) = 0に気づかず悩んでたわ