#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(){
    unsigned long long sum=0;
    int n,k,i,j,sup=0,inf=0;
    char token[1000]={};
    fgets(token, sizeof(token), stdin);
    n=atoi(strtok(token, " "));k=atoi(strtok(NULL, " "));
    for (i=k; i<=n+1; i++) {
        sup=0;inf=0;
        for (j=0; j<i; j++) {
            sup+=n-j;inf+=j;
        }
        sum+=sup-inf+1;
    }
    printf("%lld",sum%1000000007);
    return 0;
}


