#include<bits/stdc++.h>
using namespace std;
using p=pair<int,int>;
#define int long long
#define rep(i,N) for(int i=0;i<N;i++)

signed main(){
  int N,K;
  cin>>N>>K;
  int ans=0,upr=0,low=0,MOD=1e9+7;
  for(int i=K;i<N+2;i++){
    low=(i-1)*i/2;
    upr=(2*N-i+1)*i/2;
    ans=ans+(upr-low+1);
  }
  cout<<ans%MOD<<endl;
}