#include #include #include #include #include #include #include #include #include #include #include #include #include #include #pragma region using namespace std; #define FOR(i,r,n) for(ll i = (ll)(r); i < (ll)(n); i++) #define rep(i,n) FOR(i,0LL,n) #define RFOR(i,r,n) for(ll i=(ll)(n-1);i>=r;i--) #define rrep(i,n) RFOR(i,0LL,n) #define all(x) x.begin(),x.end() #define rall(x) x.rbegin(),x.rend() #define COUNT(a,y,x) upper_bound(all(a), y) - lower_bound(all(a), x) #define UNIQUE(a) sort(all(a)); a.erase(unique(all(a)), a.end()) #define pb push_back typedef long long int ll; typedef vector vll; typedef vector vvll; typedef pair pll; typedef vector vpll; typedef vector vs; typedef map MAP; const ll inf = 2222222222222222222LL; const ll mod = 1000000007LL; ll n = 0, m = 0, ans = 0, tmp = 0, ma = -inf, mi = inf; string s; bool ok; ll dx[9] = { 0,1,0,-1,0,1,1,-1,-1 }, dy[9] = { 0,0,1,0,-1,1,-1,1,-1 }; #define endl '\n' #pragma endregion #define MAX 222222 vll fac, inv, invfac; void comb_set(ll x = MAX) { fac.resize(x + 1, 0); invfac.resize(x + 1, 0); inv.resize(x + 1, 0); fac[0] = inv[1] = invfac[0] = 1; FOR(i, 1, x + 1) (fac[i] = fac[i - 1] * i) %= mod; FOR(i, 2, x + 1) (inv[i] = (mod - mod / i) * inv[mod%i]) %= mod; FOR(i, 1, x + 1) (invfac[i] = invfac[i - 1] * inv[i]) %= mod; } ll comb(ll x, ll y) { if (y < 0 || x < 0) return 0; if (y == 0 || x == 0) return 1; if (x < y) return 0; return fac[x] * invfac[x - y] % mod * invfac[y] % mod; } int main(void) { ios::sync_with_stdio(false); cin.tie(0); cin >> n >> m; comb_set(MAX); ll sum = n * (n + 1) / 2; ll npm = 1; rep(i, m) (npm *= (n - i)) %= mod; ans = (sum*npm) % mod; tmp = comb(n - 1, m - 1); FOR(i, 1, m + 1) (tmp *= i) %= mod; (tmp *= sum) %= mod; (ans += mod - tmp) %= mod; (sum += mod - n) %= mod; tmp = comb(n - 2, m - 2); FOR(i, 1, m + 1) (tmp *= i) %= mod; (tmp *= inv[2]) %= mod; (tmp *= sum) %= mod; (ans += tmp) %= mod; cout << ans << endl; return 0; }