#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
int main(void){
	uint32_t n, k;
	scanf("%"PRIu32"%"PRIu32, &n, &k);
	uint64_t ans=1;
	for(uint32_t i=k; i<=n; i++){
		ans+=(uint64_t)i*(n-i+1)+1;
		ans%=1000000007;
	}
	printf("%"PRIu64"\n", ans);
}

