連続整数の冪の合計の可除性 | Synapse