#include <bits/stdc++.h>
using namespace std;

int main()
{
  long n, k;
  cin >> n >> k;
  
  long res = 0;
  for (int i=k; i<=n+1; i++) {
    res += i * (n - i + 1) + 1;
    res %= 1000000007;
  }
  
  cout << res << endl;
}