#include <bits/stdc++.h>
using namespace std;
int main(){
	long long N, K; cin >> N >> K; 
	long long ans = 0; 
	long long P = 1000000007; 
	for(long long i = K; i <= N+1; i++){
		ans += i * (N - i + 1) + 1; ans %= P; 
	}
	cout << ans << endl; 
}