#include <stdio.h>

void main()
{
long long int n,k,i,max,min,sum=0,ans;
  scanf("%lld",&n);
  scanf("%lld",&k);
  for(i=k;i<=n+1;i++)
  {
    min=i*(i-1)/2;
    max=(n*2-i+1)*i/2;
    sum=(sum+max-min+1);
  }
  ans=sum%1000000007;
  printf("%lld",ans);
}