#include<stdio.h>
int main(void){
  int N,K,x,i,j,max=0,min=0,kotae=0;
  scanf("%d",&N);
  scanf("%d",&K);
  x=N-K+2;
  for(i=0;i<x;i++){
    for(j=0;j<K+i;j++){
      min=j+min;
      max=N+max-j;}
  kotae=kotae+max-min+1;
  min=0;
  max=0;}
printf("%d",kotae);
return 0;
}