#include <bits/stdc++.h>
using namespace std;
int main() {
  long long N;
  long long K;
  long long sum = 0;
  cin >> N >> K;
  for (long long i = K; i < N + 2; i++) {
    sum =
        sum + (N + 1) * N / 2 - (N - i) * (N - i + 1) / 2 - (i - 1) * i / 2 + 1;
  }
  long long ans = sum % (1000000007);
  cout << ans << endl;
  return 0;
}
