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

int main(void){
  int N,K;
  long int pat=0;
  long int pat2=0;
  long int sum =0;
  scanf("%d",&N);
  scanf("%d",&K);
  for(int m=0;m+K<=N+1;m++){
    pat=0;
    pat2=0;
    for(int i=0;i<K+m;i++){
      pat+=i;
      pat2+=N-i;
    }
    sum+=(pat2-pat+1);
  }
  printf("%ld",sum%(1000000000+7));
  return 0;
}
