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

int main() {
  long long N;
  long long K;
  cin>>N>>K;
  long long sum=0;
  for(long long i=K;i<N+2;i++){
    sum +=i*(N+1-i)+1 ;
   
  }
  cout<<sum%1000000007<<endl;
}


