#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
 
int main(){
  ll ans,n,k,i,a,b,j;
  cin >> n >> k;
  ans=0;
  a=0;
  b=0;
  for(j=0;j<k;j++){
      a+=j;
      b+=n-j;
  }
  ans+=b-a+1;
  ans=ans%1000000007;
  for(i=k;i<=n;i++){
    a+=i;
    b+=n-i;
    ans+=b-a+1;
    ans=ans%1000000007;
  }
  cout << ans;
}