#include<stdio.h>

int main(void){
    int N,K,i;
    long long int ans=0,lim=10e9+7;
    scanf("%d %d",&N,&K);
    for(i=K;i<=N+1;i++){
        ans=ans+i*(2*N+1-i)/2-(i-1)*i/2+1;
    }
    long long int ans2=ans%lim;
    printf("%ld\n",ans2);
    return 0;
}