#include<stdio.h>
#include<stdlib.h>
#define mod 1000000007
void main(void)
{
  long long N,K;
  long long tmp1=0;
  scanf("%lld%lld",&N,&K);
  for(long long i=K;i<=(N+1);i++){
    tmp1=tmp1+i*N-i*i+i+1;
    tmp1=tmp1%mod;
  }
  printf("%lld",tmp1);
}