#include #define REP(i, n) for (int i = 0; (i) < (int)(n); ++ (i)) #define REP3(i, m, n) for (int i = (m); (i) < (int)(n); ++ (i)) #define REP_R(i, n) for (int i = (int)(n) - 1; (i) >= 0; -- (i)) #define REP3R(i, m, n) for (int i = (int)(n) - 1; (i) >= (int)(m); -- (i)) #define ALL(x) begin(x), end(x) using namespace std; template struct mint { int32_t value; mint() = default; mint(int32_t value_) : value(value_) {} inline mint operator + (mint other) const { int32_t c = this->value + other.value; return mint(c >= MOD ? c - MOD : c); } inline mint operator - (mint other) const { int32_t c = this->value - other.value; return mint(c < 0 ? c + MOD : c); } inline mint operator * (mint other) const { int32_t c = (int64_t)this->value * other.value % MOD; return mint(c < 0 ? c + MOD : c); } inline mint & operator += (mint other) { this->value += other.value; if (this->value >= MOD) this->value -= MOD; return *this; } inline mint & operator -= (mint other) { this->value -= other.value; if (this->value < 0) this->value += MOD; return *this; } inline mint & operator *= (mint other) { this->value = (int64_t)this->value * other.value % MOD; if (this->value < 0) this->value += MOD; return *this; } inline mint operator - () const { return mint(this->value ? MOD - this->value : 0); } mint pow(uint64_t k) const { mint x = *this, y = 1; for (; k; k >>= 1) { if (k & 1) y *= x; x *= x; } return y; } mint inv() const { return pow(MOD - 2); } // MOD must be a prime inline mint operator / (mint other) const { return *this * other.inv(); } inline mint operator /= (mint other) { return *this *= other.inv(); } inline bool operator == (mint other) const { return value == other.value; } inline bool operator != (mint other) const { return value != other.value; } }; template mint operator * (int64_t value, mint n) { return mint(value) * n; } template mint operator * (int32_t value, mint n) { return mint(value % MOD) * n; } template ostream & operator << (ostream & out, mint n) { return out << n.value; } template mint fact(int n) { static vector > memo(1, 1); while (n >= memo.size()) { memo.push_back(memo.back() * mint(memo.size())); } return memo[n]; } template mint inv_fact(int n) { static vector > memo; if (memo.size() <= n) { int l = memo.size(); int r = n * 1.3 + 100; memo.resize(r); memo[r - 1] = fact(r - 1).inv(); for (int i = r - 2; i >= l; -- i) { memo[i] = memo[i + 1] * (i + 1); } } return memo[n]; } template mint choose(int n, int r) { assert (0 <= r and r <= n); return fact(n) * inv_fact(n - r) * inv_fact(r); } template mint permute(int n, int r) { assert (0 <= r and r <= n); return fact(n) * inv_fact(n - r); } constexpr int MOD = 1e9 + 7; mint solve(int n, int k) { mint ans = 0; REP (i, n + 1) { mint a = (mint(1) - mint(k) / mint(n)) * permute(n, k); mint b = (i == n or k == 1) ? 0 : choose(k, 2) * permute(n - 2, k - 2); ans += i * (a + b); } return ans; } int main() { int n, k; cin >> n >> k; cout << solve(n, k).value << endl; return 0; }