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