#include<bits/stdc++.h>
using namespace std;
long long n,k,ans=0;
int main()
{
	cin>>n>>k;
	if (k>n){
		cout<<1<<endl;
		return 0;
	} 
	for (long long i=k;i<=n;i++){
		int tempmin=0,tempmax=0;
		for (long long j=1;j<i;j++) tempmin=(tempmin+j)%(1000000000+7);
		for (long long j=(n-i+1);j<=n;j++) tempmax=(tempmax+j)%(1000000000+7);
		ans+=(tempmax-tempmin+1);
		ans%=(1000000000+7);
	}
	cout<<(ans+1)%(1000000000+7)<<endl;
	return 0;
}