#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>

int main(void) {
	long long int n, k, i;
	long long int num = 0;
	scanf("%lld %lld", &n, &k);
	for (i = k; i < n + 2; i++) {
		num = num + (i * (n - i + 1) + 1);
	}
	printf("%lld",num%(1000000007));
	return 0;
}