#include <stdio.h>

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