(b2⁢n-1)⁢N2⁢n≡2⁢n⁢b2⁢n-1⁢D2⁢n⁢∑k=1M-1k2⁢n-1⁢⌊k⁢bM⌋(modM),