#include <bits/stdc++.h>
using namespace std;
int gcd(int a, int b) {
  if (a < b) swap(a, b);
  if (b == 0) return a;
  return gcd(b, a % b);
}
long long int beki(long long int a, long long int b) {
  long long int tmp = 1;
  for (int i = 0; i < b; i++) tmp *= a;
  return tmp;
}
int main() {
  long long int N, K;
  long long int ans = 0;
  cin >> N >> K;
  ans += -(N - (K - 1)) * ((N - (K - 1)) + 1) * (2 * (N - (K - 1)) + 1) / 6 +
         (N - 2 * K + 1) * (N - (K - 1)) * ((N - (K - 1)) + 1) / 2 +
         ((N - (K - 1)) + 1) * (-(K - 1) * (K - 1) + (N - 1) * (K - 1) + N + 1);
  ans %= long long int(1e9) + 7;
  cout << ans << endl;
}
