#include<bits/stdc++.h> 
//#define <- プログラムの文字列を置換する
//typedef <- 新しい型に名前を付けるためのキーワード

using namespace std;

#define MAX_N 1
#define INF 1000000000 //1e9
#define PI 3.14159265359
#define mod 1000000007

int main(){
    long long N,K;
    cin >> N >> K;
    long long res = 0;
    for(int i = K; i <= N+1; i++){
        long long temp = i*(N-i+1)+1;
        res += temp % mod ;
        res %= mod;
    }
    cout << res << endl;
    return 0;
}