#include <stdio.h>

int main(void){
    // Your code here!
    long int n,k;
    scanf("%ld %ld", &n,&k);
    long int a =0;
    for (int i=0;i<n+2-k;i++) {
        
        for(int j=0;j<k+i;j++){
        a+=n-(2*j);
      //  printf("%ld\n",a);
        }
        a+=1;
      //  printf("%ld\n",a);
      // printf("-------------\n");
    }

        printf("%ld",a%1000000007);
        
    }
