#include <bits/stdc++.h>
using namespace std;
typedef long long lint;
typedef long double llf;
typedef pair<int, int> pi;
const int mod = 1e9 + 7;
lint ipow(lint x, lint p){
lint ret = 1, piv = x % mod;
while(p){
if(p&1) ret *= piv;
piv *= piv;
ret %= mod;
piv %= mod;
p >>= 1;
}
return ret % mod;
}
int n, k;
int main(){
cin >> n >> k;
lint ans = 0;
for(int i=k+1; i<=n; i++){
ans += (n - i + 1) * ipow(i+1, mod - 2) % mod;
ans %= mod;
}
for(int i=2; i<=n+1; i++) ans = (ans * i) % mod;
cout << ans;
}
