#include<stdio.h>
int main(void)
{
  long long int N,K,i,j,ans;
  scanf("%lld %lld",&N,&K);
  int min[N],max[N],sum[N];
  for(i=0;i<=N;i++){
    min[i]=0;
    max[i]=0;
    sum[i]=0;
  }
  for(j=K;j<=N;i++){
    for(i=0;i<=K;i++)
      min[j]+=i;
    for(i=0;i<=N;i++)
      max[j]+=i;
    sum[j]=max[j]-(min[j]-1);
  }
  for(j=K;j<=N;j++)
    ans+=sum[j];
  printf("%lld",ans%100000007);