#include<stdio.h>
int sum=0;

void main(){
  int n,k;
  int min,max;
  scanf("%d%d\n",&n,&k);
  for(int s=k;s<=n;s++){
    min=0; max=0;
    for(int i=0;i<s;i++)
      min += i;
    for(int i=n-s+1;i<=n;i++)
      max += i;
    sum += (max-min)+1;
  }
  printf("%d\n",sum%(1000000000+7));
  
}