>>3
最後の所は
S((p^n)-L) ？
これは、どう計算するの？
Lと　S(L)の定義からは
p^n の項と負の項が計算できなそうだけども。