#include<stdio.h>
#define P 1000000007
int main(){
    int n,k;
    int  sum=0;
    scanf("%d %d",&n,&k);
    for(int i=k;i<=n+1;i++){
    	sum=(sum+i*(n+1-i)+1)%P;
    	//printf("%d\n",i*(n+1-i)+1);
    }
    printf("%d\n",sum);
	return 0;
}