#include<stdio.h>
#define LIMIT 1000000007

int main(void)
{
	long n,k,i,j;
	long sum=0,min=0,max=0;
	int flag=1;

	scanf("%ld %ld",&n,&k);

	for(i=k;i<=n+1;i++){
		if(flag){
			for(j=0;j<i;j++){
				min+=j;
			}
			for(j=n;j>n-i;j--){
				max+=j;
			}
			flag=0;
		}
		else{
			min+=i-1;
			max+=n-i+1;
		}
		sum+=max-min+1;
	}
	sum=sum%LIMIT;

	printf("%ld\n",sum);
	return 0;
}
