#include <stdio.h>

int main(void){
    long long int N, K;
    long long int i;
    long long int a = 0;

    scanf("%lld %lld", &N, &K);
    for (i = K; i <= N + 1; i++)
    {
        a += (N * 2 - i + 3) * i / 2 - i * (i + 1) / 2 + 1;
        a %= 1000000007;

    }
    printf("%lld", a);
    return (0);
}
