#include<stdio.h>
int main()
{
	long long int n, k;
	scanf("%lld %lld", &n, &k);
	long long int p = 1000000007;
	long long int ans = 0;
	long long int i;
	for (i = k; i <= n + 1; i++)
		ans = (ans + n * (n + 1) / 2 - (n - i + 1) * (n - i) / 2 - i * (i - 1) / 2 + 1) % p;
	printf("%lld\n", ans);
}