#include <stdio.h>
#include <stdint.h>

int main()
{
  int N, K;
  scanf("%d%d", &N, &K);
  
  int64_t sum[N+1], min, max, ans=0, i;
  sum[0] = 0;
  for(i=1; i<=N; i++){
    sum[i] = i;
    sum[i] += sum[i-1];
  }
  
  for(i=K; i<=N+1; i++){
    min = sum[i-1];
    if(i==N+1)
      max = sum[N];
    else
      max = sum[N] - sum[N-i];
    ans += max - min + 1;
  }
  
  printf("%ld", ans % 1000000007);
  
  return 0;
}