#include <stdio.h>
 
int main(void){
  int i, f;
  long int n, k, sum=0, max=0, min=0;
  
  scanf("%ld %ld", &n, &k);
  
  for(i = k; i <= n+1; i++){
    min=0;
    max=0;
    for(f = 0; f < k; f++){
      min += f;
    }
    for(f = 0; f < k; f++){
      max += (n-f);
    }
    sum = (sum + max-min+1)%1000000007;
  }
  return 0;
}