#include<stdio.h>
#include<stdlib.h>
void main(void)
{
  int N,K,tmp1=0,tmp2=0,tmp3=0;
  scanf("%d %d",&N,&K);
  
  for(int i=K;i<=(N+1);i++){
    for(int j=1;j<=i;j++){
      tmp1=tmp1-(j-1)+(N+1-j);
    }
    tmp1++;
  }
  
  printf("%d",tmp1);
    
  

}