#include<stdio.h>
#include<math.h>

int main(void){
  long long n, k;
  long long ans=0;

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

  for(long long i=k;i<=n+1;i++){
    ans += i*n-(i*(i-1)-1);
    ans = ans % (long long)(pow(10,9)+7);
    if(i==k) printf("%lld\n", ans);
  }

  printf("%lld\n", ans);
  return 0;
}
