#include<stdio.h>

int main(void) {
	int N, K,i;
	scanf("%d %d", N, K);
	long long MAX=0, min=0;
	for (i = 0; i < K; i++) {
		min += i;
		MAX += N - K + 1 + i;
	}
	printf("%d", (MAX - min)%10000007);

	return 0;
}