#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define mp make_pair
#define pb push_back
#define rep(i,n) for(int i=0;i<n;i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)



int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);

  ll n,k;
  cin >> n >> k;
  ll ans = 0;
  ll mod = 1e9+7;
  for(ll i = k; i<=n+1; i++){
    ans += (n-i+1)*i +1;
    ans %= mod;
  }
  cout << ans << endl;
  return 0;
    

}
