#include <stdlib.h>
#include <string.h>
#include <math.h>
#include <stdio.h>
#define MOD 1000000007
int main(int argc, const char * argv[]) {
    long long n,k,ans=0;
    scanf("%lld%lld",&n,&k);
    for(long long i=k;i<=n+1;i++){
        long long min=i*(i-1)/2;
        long long max=n*(n+1)/2-(n-i)*(n-i+1)/2;
        ans+=max-min+1;
        ans%=MOD;
    }
    printf("%lld",ans);
    return 0;
}
