>>517
>>500は、>>499ではS[n,k]が定義されてないから、欲しい等式が成り立つようにS[n,k]を勝手に定義すりゃいいってこと。