#include<cstdio>
using namespace std;
int x,y,a,b,c=0,d=1;
int main()
{
scanf("%d%d",&x,&y);
for(int i=1;i<=y-2;i++) c+=i;
for(int i=1;i<=x;i++) d+=i;
printf("%d",d-c);
return 0;
}