#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  int n, k;
  cin >> n >> k;
  long long mod = pow(10, 9) + 7;
  if (n + 1 == k) {
    cout << 1 << "\n";
  } else {
    long long res = 0;
    for (int i = k; i <= n + 1; i++) {
      res += i * (n + 1 - i) + 1;
    }
    cout << res % mod << "\n";
  }
}
