#include using namespace std; #if __has_include() #include using namespace atcoder; #endif #define GET_MACRO(_1, _2, _3, NAME, ...) NAME #define _rep(i, n) _rep2(i, 0, n) #define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++) #define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() using i64 = long long; template bool chmin(T& a, const T& b) { return (b < a) ? (a = b, true) : false; } template bool chmax(T& a, const T& b) { return (b > a) ? (a = b, true) : false; } templateistream& operator>>(istream&i,vector&v){rep(j,v.size())i>>v[j];return i;} templatestring join(vector&v){stringstream s;rep(i,v.size())s<<' '<ostream& operator<<(ostream&o,vector&v){if(v.size())o<string join(vector>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;} templateostream& operator<<(ostream&o,vector>&vv){if(vv.size())o< fact(int x) { vector res(x + 1); res[0] = 1; rep(i, x) { res[i + 1] = res[i] * (i + 1); } return res; } vector finv(int x) { vector res(x + 1); mint t = 1; for(int i = 1; i <= x; i++) { t *= i; } res[x] = 1 / t; for(int i = x; i > 0; i--) { res[i - 1] = res[i] * i; } return res; } auto r = fact(10000005); auto l = finv(10000005); mint comb(i64 x, i64 y) { if(x < y ) return 0; return r[x] * l[y] * l[x - y]; } int main() { i64 k, m, n; cin >> n >> m >> k; mint ans = 0; rep(i, 1, n - m + 2) { ans += comb(n - i * k, n - m) * comb(n - m + 1, i) * pow_mod(-1, i + 1, mod); } cout << ans.val() << endl; }