#include <stdio.h>
#define NUM 1000000000 + 7

int main(void)
{
  long long int n;
  long long int k;
  long long int i;
  long long int count = 0;

  scanf("%lld%lld", &n, &k);

  for (i = k; i <= n + 1; k++) {
    count += i * n + 1 - i * (i - 1);
    count %= NUM;
  }

  printf("%lld\n", count);

  return 0;
}

