#include<stdio.h>

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

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

  for(int i=k;i<=n+1;i++){
    ans += i*n-(i*(i-1)-1);
    ans = ans%(10^9+7);
  }

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