#include<stdio.h>
int n,k,i,m;
int main(){
    scanf("%d%d",&n,&k);
    for(i=0;i<k;i++){
        m=(m+(n-2*i)*(n+2-k))%((int)1e9+7);
    }
    for(i=k;i<=n+1;i++){
        m=(m+1+(n-2*i)*(n+2-k-(i+1-k)))%((int)1e9+7);
    }
    printf("%d",m);
    return 0;
}