#include <stdio.h>
#include<math.h>
int main(void){
    int N, K, m=pow(10,9)+7;
    long long j, i=0;

    scanf("%d%d" , &N, &K);
    for(j=K ; j<=N+1 ; j++){
        i =i+(j*(N-j+1)%m)%m+1;
        i =i%m;
    }
    printf("%lld" ,i);
    return 0;
}
