#include <stdio.h>

int main(void)
{
    long int n=0,k=0;
    long int sum=0;
    scanf("%d %d",&n,&k);

    for(int i=k;i<=n+1;i++){
        sum+=i*(n-i+1)+1;
    }

    sum=sum%1000000007;
    printf("%d",sum);
    return 0;
}
