#include<stdio.h>
int main()
{
    long long a,b,c=0,d=0,n,i;
    scanf("%lld %lld",&a,&b);
    for(i=b;i<=a+1;i++)
    {
        c=i*(a+1-i)+1;
        d=d+c;
        d%=1000*1000*1000+7;
    }
    printf("%lld",d);
}
