// yukicoder 823 Many Shifts Easy
// 2019.9.11 bal4u

#include <stdio.h>

typedef long long ll;
#define MOD 1000000007
#define MAX 100000
int fact[MAX+2] = {1,1};
int inv[MAX+2] = {1,1};
int invfact[MAX+2] = {1,1};

void init() {
	int i;
	for (i = 2; i <= MAX; i++) {
		fact[i] = (ll)fact[i-1]*i % MOD;
		inv[i] = -(MOD/i)*(ll)inv[MOD%i] % MOD;   // マイナスになることも
		invfact[i] = (ll)invfact[i-1]*inv[i] % MOD;
	}
}

int nPk(int n, int k) {  // 順列
	if (n < 0 || k < 0 || n < k) return 0;
	return (ll)fact[n] * invfact[n-k] % MOD;
}

int nCk(int n, int k) {  // 組合せ
    if (n < 0 || k < 0 || n < k) return 0;
	if (k == 0) return 1;
    return (ll)fact[n] * invfact[k] % MOD * invfact[n-k] % MOD;
}

int main()
{
	int N, K, ans;
	
	scanf("%d%d", &N, &K);
	init();
	ans = (ll)N*(N+1)/2 % MOD * nPk(N-1, K) % MOD +
	      (ll)N*(N-1)/2 % MOD * nCk(N-2, K-2) % MOD * fact[K] % MOD * invfact[2] % MOD;
	if (ans < 0) ans += MOD;
	printf("%d\n", ans);
	return 0;
}